Pinned Repositories
agda-playground
Trying out dependent types
arithmetic-parser
Parser & interpreter for arithmetic expressions.
bomberman
bomberman with libgdx
carpenter
Declarative programming language to manipulate and query tables in various formats
chessdogs
Tampermonkey script to replace kings with dogs on chess.com
lean-rsa
A Proof of RSA Encryption using Lean
lean4-playground
SKIcalculus
Playground for SKI combinator calculus
mathlib3
Lean 3's obsolete mathematical components library: please use mathlib4
sihl
A modular functional web framework
aronerben's Repositories
aronerben/arithmetic-parser
Parser & interpreter for arithmetic expressions.
aronerben/SKIcalculus
Playground for SKI combinator calculus
aronerben/agda-playground
Trying out dependent types
aronerben/bomberman
bomberman with libgdx
aronerben/carpenter
Declarative programming language to manipulate and query tables in various formats
aronerben/image-editor
Editor for images
aronerben/lean-rsa
A Proof of RSA Encryption using Lean
aronerben/chessdogs
Tampermonkey script to replace kings with dogs on chess.com
aronerben/lean4-playground
aronerben/arduino
aronerben/aronerben.github.io
aronerben/dashboard
Zero config data-driven dashboard
aronerben/fable-browser
Fable bindings for Browser Web APIs
aronerben/hakyll
A static website compiler library in Haskell
aronerben/opam-repository
Main public package repository for opam, the source package manager of OCaml.
aronerben/painter
2D and 3D Graphics Haskell EDSL
aronerben/tyxml
Build valid HTML and SVG documents