JSuder-xx
Follow
-
-
elm-format Public
Forked from avh4/elm-formatelm-format formats Elm source code according to a standard set of rules based on the official Elm Style Guide
Haskell BSD 3-Clause "New" or "Revised" License UpdatedFeb 18, 2023 -
interactive-generator-demo Public
A TypeScript generator demonstration project with a number of interactive programs written as generator functions (LOGO, Line Drawing, Gravity Tiles). On-line demo available.
TypeScript MIT License UpdatedJan 14, 2023 -
Demonstration of using MobX + React project with Typescript discriminated unions to help make impossible states unrepresentable.
-
planning-day Public
TypeScript Playground plugin for planning an agile sprint or iteration by combining static type verification of configuration with a React Gantt chart visualization.
-
litlog Public
An on-line literate logic programming language (similar to Prolog) designed to replace symbol heavy syntax with literate keywords in order to focus learners on fundamental logic programming concepts.
-
decision-matrix Public
A small on-line decision matrix application to assist in decision making and communicating relevant factors with collaborators. Written in OCaml using TEA. Hosted on-line demo available.
-
compiler Public
Forked from elm/compilerCompiler for Elm, a functional language for reliable webapps.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMay 26, 2022 -
elm-review-reducible-lambdas Public
Elm review rule to detect reducible functions such as by eta reduction.
-
elm.simplication Public
Simple logic implication visualizer as a communication aide.
-
elm-ra Public
Support for Pointfree style in Elm with a subset of Ramda functions; excludes functions provided by elm-community Extra packages.
-
elm-module-explorer Public
Visualize and navigate functions related to types declared in the current Elm file.
-
photo-groove Public
PhotoGroove application from #elm-in-action using Optics, message-as-function, and type oriented modules.
Elm MIT License UpdatedDec 29, 2021 -
othello Public
A simple implementation of Othello with an internal API inspired by HATEOS.
Elm MIT License UpdatedNov 28, 2021 -
elm-static-array Public
Forked from Orasund/elm-static-arrayA static array for Elm
Elm BSD 3-Clause "New" or "Revised" License UpdatedNov 25, 2021 -
JSuder-xx.github.io Public
Forked from github/personal-websiteCode that'll help you kickstart a personal website that showcases your work as a software developer.
HTML MIT License UpdatedNov 7, 2021 -
multicast-elm Public
Multicast Causal Ordering simulation and visualization. Using vector clocks to maintain the order of causally related messages in a distributed system.
-
talk-2021-03-11 Public
Companion to talk given on JSON Schema and TypeScript dependent types.
TypeScript UpdatedMar 12, 2021 -
Talk.Options Public
Companion code to a talk given on securing code with the Option data type.
C# MIT License UpdatedFeb 25, 2021 -
abstract-astar Public
Versatile A* (A Star) implementation in TypeScript.
-
Personal submissions of parsers, compilers, and interpreters to an on-line coding practice and competition website (which shall remain nameless to keep this from appearing in search and ruining oth…
OCaml MIT License UpdatedFeb 16, 2020 -
dependently-typed-rummikub Public
Proof of the dependent typing capabilities of TypeScript. Demonstration of type-checking literal arrays of Rummikub tiles as valid Runs or Groups.
-
TSqlStrong Public
T-Sql type checker that detects improper joins, invalid null value operations, enumeration check constraint violations, incorrect use of temporary table at call site, more. On-line demo available.