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.
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.
A TypeScript generator demonstration project with a number of interactive programs written as generator functions (LOGO, Line Drawing, Gravity Tiles). On-line demo available.
Simple logic implication visualizer as a communication aide.
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.
My Thoughts
Articles I've written.
Jan 10, 2019
Jan 06, 2019
