Pinned Repositories
type-theory
Adv360-Pro-ZMK
Production repository for the all-new Advantage360 Professional using ZMK engine
brick
A declarative terminal UI programming library written in Haskell
disaster-management
For my DM course. This has been fun so far.
njayinthehouse's Repositories
njayinthehouse/Adv360-Pro-ZMK
Production repository for the all-new Advantage360 Professional using ZMK engine
njayinthehouse/liquid-parallel-code
njayinthehouse/merge-sort
njayinthehouse/minidot
Dependent Object Types (DOT), bottom up
njayinthehouse/njayinthehouse.github.io
njayinthehouse/minesweep
Minesweeper toy implementation
njayinthehouse/formalmetacoq
Arthur's Formal Metatheory in Coq
njayinthehouse/Research
njayinthehouse/ocaml-git
Pure OCaml Git format and protocol
njayinthehouse/irmin-on-cassie
njayinthehouse/mergeable
njayinthehouse/irmin-scylla
implementation of irmin-scylla
njayinthehouse/jovial
njayinthehouse/pilgrimage
njayinthehouse/brick
A declarative terminal UI programming library written in Haskell
njayinthehouse/pyre-check
Performant type-checking for python.
njayinthehouse/gnomon
A place for me to store the work I do while learning new ideas.
njayinthehouse/disaster-management
For my DM course. This has been fun so far.
njayinthehouse/socket_programming
A simple client-server model using sockets in C++. Not my best work, but hell.
njayinthehouse/sysconfig
njayinthehouse/footsteps
This repo is to store the notes I take on the various papers/books I read.
njayinthehouse/program-verification
njayinthehouse/ire-chatbot
njayinthehouse/type-theory
njayinthehouse/waiter
A minimalistic web server and client.
njayinthehouse/mr13
A command line manga scraper and tracker.
njayinthehouse/max
A command line manga-fetching utility.
njayinthehouse/pygame_util
A few modules for pygame-based apps.