jsuder-xx Goto Github PK
Name: John Suder
Type: User
Location: West Palm Beach, Florida
Name: John Suder
Type: User
Location: West Palm Beach, Florida
Versatile A* (A Star) implementation in TypeScript.
Compiler for Elm, a functional language for reliable webapps.
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.
Proof of the dependent typing capabilities of TypeScript. Demonstration of type-checking literal arrays of Rummikub tiles as valid Runs or Groups.
elm-format formats Elm source code according to a standard set of rules based on the official Elm Style Guide
Visualize and navigate functions related to types declared in the current Elm file.
Support for Pointfree style in Elm with a subset of Ramda functions; excludes functions provided by elm-community Extra packages.
Elm review rule to detect reducible functions such as by eta reduction.
A static array for Elm
Simple logic implication visualizer as a communication aide.
A TypeScript generator demonstration project with a number of interactive programs written as generator functions (LOGO, Line Drawing, Gravity Tiles). On-line demo available.
Code that'll help you kickstart a personal website that showcases your work as a software developer.
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 Causal Ordering simulation and visualization. Using vector clocks to maintain the order of causally related messages in a distributed system.
A simple implementation of Othello with an internal API inspired by HATEOS.
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).
PhotoGroove application from #elm-in-action using Optics, message-as-function, and type oriented modules.
TypeScript Playground plugin for planning an agile sprint or iteration by combining static type verification of configuration with a React Gantt chart visualization.
Linter for PureScript
Companion to talk given on JSON Schema and TypeScript dependent types.
Companion code to a talk given on securing code with the Option data type.
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.
Demonstration of using MobX + React project with Typescript discriminated unions to help make impossible states unrepresentable.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.