John Suder
My Projects
GitHub repositories that I've built.
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.
Versatile A* (A Star) implementation in TypeScript.
TypeScript Playground plugin for planning an agile sprint or iteration by combining static type verification of configuration with a React Gantt chart visualization.
A Linter for PureScript with 8 formatting rules and 20 style rules.
Proof of the dependent typing capabilities of TypeScript. Demonstration of type-checking literal arrays of Rummikub tiles as valid Runs or Groups.
Demonstration of using MobX + React project with Typescript discriminated unions to help make impossible states unrepresentable.
Multicast Causal Ordering simulation and visualization. Using vector clocks to maintain the order of causally related messages in a distributed system.
Simple logic implication visualizer as a communication aide.
Elm review rule to detect reducible functions such as by eta reduction.
Visualize and navigate functions related to types declared in the current Elm file.
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.
Companion code to a talk given on securing code with the Option data type.
Companion to talk given on JSON Schema and TypeScript dependent types.
PhotoGroove application from #elm-in-action using Optics, message-as-function, and type oriented modules.
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 other peoples fun).
My Thoughts
Articles I've written.
Jan 10, 2019
Jan 06, 2019
