jsuder-xx Goto Github PK

followers: 8.0 following: 1.0 repos: 22.0 gists: 16.0

Name: John Suder

Type: User

Location: West Palm Beach, Florida

Blog: https://jsuder-xx.github.io/

John Suder's Projects

abstract-astar

Versatile A* (A Star) implementation in TypeScript.

compiler

Compiler for Elm, a functional language for reliable webapps.

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.

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-format

elm-format formats Elm source code according to a standard set of rules based on the official Elm Style Guide

elm-module-explorer

Visualize and navigate functions related to types declared in the current Elm file.

elm-ra

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

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.

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.

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.

multicast-elm

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

othello

A simple implementation of Othello with an internal API inspired by HATEOS.

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.

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.

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.

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.

typescript-union-types-with-mobx-react

Demonstration of using MobX + React project with Typescript discriminated unions to help make impossible states unrepresentable.

jsuder-xx Goto Github PK

John Suder's Projects

Recommend Projects

Recommend Topics

Recommend Org