Discover @JSuder-xx Open Source projects

John Suder (@JSuder-xx)

JSuder-xx

Stars
34
Global Rank 448,285 (Top 16 %)
Followers 8
Following 1
Registered over 12 years ago
Most used languages

Elm
41.7 %

TypeScript
33.3 %

OCaml
16.7 %

C#
8.3 %
Location 🇺🇸 United States
Country Total Rank 88,705
Country Ranking

Elm
243

OCaml
550

C#
6,652

TypeScript
7,420

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.

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.

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.

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.

elm.simplication

Simple logic implication visualizer as a communication aide.

elm-ra

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

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.