Local cashier, coding hobbyist, dirt poor. My interests include language implementation, web technologies, and systems programming.
- Pennsylvania, USA
-
13:00
(UTC -05:00) - https://eignnx.github.io/
-
-
-
-
-
-
-
-
scramblish-elm Public
A game about translating randomly generated languages.
Elm UpdatedSep 12, 2024 -
-
-
-
-
char-list Public
A persistent string type with the same API as a linked-list of characters.
-
-
-
-
-
funlang Public
A programming language similar to OCaml and Rust with Ruby-inspired syntax.
Haskell Other UpdatedJun 22, 2023 -
-
-
-
-
cargo-gui Public
A browser interface for working through rustc errors and running cargo commands.
-
thoreaulog Public
A simple Prolog implementation written in ReasonML.
-
-
-
-
subst-vs-env Public
Exploration of substitution-based evaluation/typechecking and environment passing style
Haskell UpdatedAug 25, 2021 -
-
Bidi-TyCheck Public
An implementation of a bidirectional type-checking algorithm! Based on https://www.youtube.com/watch?v=utyBNDj7s2w
Haskell UpdatedJun 27, 2021
Previous Next