Pinned Repositories
applicative_parser
parser combinators applicative TypeScript deno module
Clors
Clors Logic Language.
Compositional-Typing-Inference
Compositional inference of principal typings for simple lamda-calculus based language written in C++
elements_in_rust
Algorithms and Concepts from Stepanov's "Elements of Programming" implemented in Rust
File-Vector
C++ file backed vector for very fast column databases, useful for time series data
Go-Board
Very fast Go board with Monte-Carlo random playouts.
jsmonads
Monads for JavaScript
Parser-Combinators
C++ parser combinator library
stencil-mdc
Example using Stenciljs with Material Components for Web
zenscript
A trait based language that compiles to JavaScript
keean's Repositories
keean/Parser-Combinators
C++ parser combinator library
keean/zenscript
A trait based language that compiles to JavaScript
keean/elements_in_rust
Algorithms and Concepts from Stepanov's "Elements of Programming" implemented in Rust
keean/File-Vector
C++ file backed vector for very fast column databases, useful for time series data
keean/Compositional-Typing-Inference
Compositional inference of principal typings for simple lamda-calculus based language written in C++
keean/Clors
Clors Logic Language.
keean/jsmonads
Monads for JavaScript
keean/stencil-mdc
Example using Stenciljs with Material Components for Web
keean/applicative_parser
parser combinators applicative TypeScript deno module
keean/Go-Board
Very fast Go board with Monte-Carlo random playouts.
keean/Haskell-Webservice-Framework
Old code from before the HList paper being updated and opensourced.
keean/RelationalDB
Relational Algebra API for JavaScript
keean/SAT-Solver
Simple SAT solver implemented from Knuth pre-fascicle 6a.
keean/Go-Board-Ada
Very fast Go board in Ada, with Monte-Carlo random playouts
keean/Lambda-Gen
Random Lambda Term Generator
keean/lambdapi
Deno TypeScript implementation of LambdaPi interpreter from "A Tutorial Implementation of a Dependently Typed Lambda Calculus" https://www.andres-loeh.de/LambdaPi/
keean/node-monadic-router
Router Monad for Node.js
keean/Simplex-Isosurface-Renderer
Renders an isosurface in WebGL using marching-cubes, and simplex-noise. Includes a fast matrix library using functional-mixins.
keean/asmcrypto.js
JavaScript Cryptographic Library with performance in mind.
keean/clors.ts
TypeScript implementation of Clors language, with live web interface.
keean/dicomParser
JavaScript parser for DICOM Part 10 data
keean/keean.github.io
Programming Blog
keean/stencil-aws
Example of using AWS API with Stenciljs compiler