John Suder

abstract-astar. Versatile A* (A Star) implementation in TypeScript.

TSqlStrong. 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.

planning-day. TypeScript Playground plugin for planning an agile sprint or iteration by combining static type verification of configuration with a React Gantt chart visualization.

purescript-linter. A Linter for PureScript with 8 formatting rules and 20 style rules.

dependently-typed-rummikub. Proof of the dependent typing capabilities of TypeScript. Demonstration of type-checking literal arrays of Rummikub tiles as valid Runs or Groups.

litlog. 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.

elm.simplication. Simple logic implication visualizer as a communication aide.

elm-review-reducible-lambdas. Elm review rule to detect reducible functions such as by eta reduction.

elm-module-explorer. Visualize and navigate functions related to types declared in the current Elm file.

typescript-union-types-with-mobx-react. Demonstration of using MobX + React project with Typescript discriminated unions to help make impossible states unrepresentable.

decision-matrix. 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.

multicast-elm. Multicast Causal Ordering simulation and visualization. Using vector clocks to maintain the order of causally related messages in a distributed system.

elm-ra. Support for Pointfree style in Elm with a subset of Ramda functions; excludes functions provided by elm-community Extra packages.