John Suder's repositories
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.
abstract-astar
Versatile A* (A Star) implementation in TypeScript.
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.
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.
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.
elm-module-explorer
Visualize and navigate functions related to types declared in the current Elm file.
elm-review-reducible-lambdas
Elm review rule to detect reducible functions such as by eta reduction.
elm.simplication
Simple logic implication visualizer as a communication aide.
multicast-elm
Multicast Causal Ordering simulation and visualization. Using vector clocks to maintain the order of causally related messages in a distributed system.
typescript-union-types-with-mobx-react
Demonstration of using MobX + React project with Typescript discriminated unions to help make impossible states unrepresentable.
compiler
Compiler for Elm, a functional language for reliable webapps.
elm-format
elm-format formats Elm source code according to a standard set of rules based on the official Elm Style Guide
elm-static-array
A static array for Elm
interactive-generator-demo
A TypeScript generator demonstration project with a number of interactive programs written as generator functions (LOGO, Line Drawing, Gravity Tiles). On-line demo available.
JSuder-xx.github.io
Code that'll help you kickstart a personal website that showcases your work as a software developer.
parsers-compilers-interpreters
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).
photo-groove
PhotoGroove application from #elm-in-action using Optics, message-as-function, and type oriented modules.
talk-2021-03-11
Companion to talk given on JSON Schema and TypeScript dependent types.
Talk.Options
Companion code to a talk given on securing code with the Option data type.