Pinned Repositories
nix-std
no-nixpkgs standard library for the nix expression language
augustus
Serialization/data validation combinator library for TypeScript
bob
Super typesafe, boilerplate-free builders for TypeScript
closure-ffi-example
Demonstration of how to pass Rust closures through C FFI
interaction-nets
leibniz
A small TypeScript framework for unit testing types using Leibniz equality
minewt
A minimal newtype implementation for TypeScript
nix-parsec
nixfiles
My NixOS configurations and other Nix files :snowflake:
quine-mccluskey
Implementation of the Quine-McCluskey algorithm for minimizing boolean functions
kanwren's Repositories
kanwren/nix-parsec
kanwren/nixfiles
My NixOS configurations and other Nix files :snowflake:
kanwren/minewt
A minimal newtype implementation for TypeScript
kanwren/interaction-nets
kanwren/augustus
Serialization/data validation combinator library for TypeScript
kanwren/bob
Super typesafe, boilerplate-free builders for TypeScript
kanwren/dotfiles
kanwren/kemel
A toy implementation of Kernel, an extensible Lisp based on vau calculus
kanwren/leibniz
A small TypeScript framework for unit testing types using Leibniz equality
kanwren/lisp-interpreter
Toy interpreter for a CL-like Lisp, written for fun and learning
kanwren/envtpl
Render Go templates on the command line with shell environment variables
kanwren/hermit-build
Relocatable/static builds for Hermit packages
kanwren/hermit-packages
Hermit manages isolated, self-bootstrapping sets of tools in software projects.
kanwren/identity-forms
Assignment 4 for LMC 3403 at Georgia Tech, a website addressing the proper handling of name and gender input in forms.
kanwren/Image-type
Gets type of image.
kanwren/kanwren
kanwren/nix-autobahn
kanwren/nix-std
no-nixpkgs standard library for the nix expression language
kanwren/nix-utils
kanwren/nixos-configs
my nixos configs
kanwren/nixpkgs
Nix Packages collection
kanwren/nur-packages
My personal NUR repository
kanwren/nvim-configs
kanwren/prometheus-common
Go libraries shared across Prometheus components and libraries.
kanwren/refract
kanwren/resume
kanwren/sqlite-levenshtein
kanwren/steno-dictionaries
My personal Plover dictionaries
kanwren/talon-community
Voice command set for Talon, community-supported.
kanwren/unison
A friendly programming language from the future