Keean Schupke

Parser-Combinators. C++ parser combinator library

zenscript. A trait based language that compiles to JavaScript

File-Vector. C++ file backed vector for very fast column databases, useful for time series data

elements_in_rust. Algorithms and Concepts from Stepanov's "Elements of Programming" implemented in Rust

Compositional-Typing-Inference. Compositional inference of principal typings for simple lamda-calculus based language written in C++

Clors. Clors Logic Language.

stencil-mdc. Example using Stenciljs with Material Components for Web

jsmonads. Monads for JavaScript

applicative_parser. parser combinators applicative TypeScript deno module

Go-Board. Very fast Go board with Monte-Carlo random playouts.

Haskell-Webservice-Framework. Old code from before the HList paper being updated and opensourced.

SAT-Solver. Simple SAT solver implemented from Knuth pre-fascicle 6a.

RelationalDB. Relational Algebra API for JavaScript

lambdapi. Deno TypeScript implementation of LambdaPi interpreter from "A Tutorial Implementation of a Dependently Typed Lambda Calculus" https://www.andres-loeh.de/LambdaPi/

Go-Board-Ada. Very fast Go board in Ada, with Monte-Carlo random playouts

Lambda-Gen. Random Lambda Term Generator

node-monadic-router. Router Monad for Node.js

Simplex-Isosurface-Renderer. Renders an isosurface in WebGL using marching-cubes, and simplex-noise. Includes a fast matrix library using functional-mixins.