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/closure-ffi-example
Demonstration of how to pass Rust closures through C FFI
kanwren/quine-mccluskey
Implementation of the Quine-McCluskey algorithm for minimizing boolean functions
kanwren/lc3.vim
Syntax highlighting for the LC3 assembly language.
kanwren/MemXCT
kanwren/.vim
kanwren/Aurora
Spring 2019 VGDev Game
kanwren/CircuitSim
Basic Circuit Simulator
kanwren/Cloud-HPC-Hackathon-2021
Cloud Hackathon for Arm-based HPC with AWS and Arm
kanwren/complx
Extensible LC-3 Simulator (GUI and CLI), Assembler, and Autograder/Test Framework written in C++. Mainly used in CS2110 at Georgia Tech
kanwren/contiguous
Typeclass for array types
kanwren/contiguous-fft
fft/ifft of contiguous memory data structures
kanwren/convey
A Conveyor implementation in Rust
kanwren/cookiecutters
kanwren/cs2110-nix
Nix derivations for tooling for CS 2110 at Georgia Tech
kanwren/cs2110docker
A Docker image containing Ubuntu 18.04 running the tools necessary for Georgia Tech's CS 2110.
kanwren/gba-tetris
kanwren/grape
kanwren/inheritance
kanwren/jq
Command-line JSON processor
kanwren/nix-cron
A small DSL for writing cron jobs in Nix
kanwren/piazza-slackbot
A simple bot that sends Slack notifications when new posts are added to a Piazza page.
kanwren/prim-instances
orphan `Prim` typeclass instances
kanwren/primitive-overlay
nixpkgs overlay for the haskell-primitive ecosystem.
kanwren/rofi
kanwren/sherlock
🔎 Hunt down social media accounts by username across social networks
kanwren/spack
A flexible package manager that supports multiple versions, configurations, platforms, and compilers.
kanwren/summoner
🔮 🔧 Tool for scaffolding batteries-included production-level Haskell projects
kanwren/tanktread
Fall 2020 VGDev game. Textual strategy and deadly fungus.
kanwren/vgdev-bookclub
kanwren/yaml-combinators