This is your work, valued
mi kijetesantakalu tonsi
nix-parsec. Nix
58nixfiles. My NixOS configurations and other Nix files :snowflake:
19minewt. A minimal newtype implementation for TypeScript
9closure-ffi-example. Demonstration of how to pass Rust closures through C FFI
2interaction-nets. Rust
2quine-mccluskey. Implementation of the Quine-McCluskey algorithm for minimizing boolean functions
2norml. Go
2MemXCT. Jupyter Notebook
1bob. Super typesafe, boilerplate-free builders for TypeScript
1leibniz. A small TypeScript framework for unit testing types using Leibniz equality
1TicTacToe. Haskell
1augustus. Serialization/data validation combinator library for TypeScript
1distance-metrics. Implementation of various generalized distance metrics in Haskell
1dotfiles. Vim Script
1lc3.vim. Syntax highlighting for the LC3 assembly language.
1