Pinned Repositories
amy
Strict Haskell-like programming language that compiles to LLVM
eventful
Event Sourcing library for Haskell
kernel-dev
Scripts/tools for developing the Linux kernel
low-level-lab
Random C, Rust, assembly, kernel, microntroller, etc code (and more). Dumping ground of random snippets.
NixOS-matlab
oanda-rest-api
Haskell library implementing the OANDA REST API
quantities
Unit conversion and manipulation library for Haskell.
rules_terraform
rust-os
Creating a bare metal OS in Rust.
stratosphere
Haskell EDSL and type-checker for AWS CloudFormation templates
jdreaver's Repositories
jdreaver/eventful
Event Sourcing library for Haskell
jdreaver/amy
Strict Haskell-like programming language that compiles to LLVM
jdreaver/oanda-rest-api
Haskell library implementing the OANDA REST API
jdreaver/rules_terraform
jdreaver/quantities
Unit conversion and manipulation library for Haskell.
jdreaver/NixOS-matlab
jdreaver/RxPY-TodoMVC
jdreaver/rust-os
Creating a bare metal OS in Rust.
jdreaver/sum-type-boilerplate
Haskell library for reducing the boilerplate involved in creating and manipulating sum types
jdreaver/iris
jdreaver/advent-of-code
jdreaver/jdreaver.com
Source code for my personal website.
jdreaver/maelstrom
jdreaver/redis-clone
Toy code for a Redis clone
jdreaver/kernel-dev
Scripts/tools for developing the Linux kernel
jdreaver/low-level-lab
Random C, Rust, assembly, kernel, microntroller, etc code (and more). Dumping ground of random snippets.
jdreaver/buildroot
Buildroot, making embedded Linux easy. Note that this is not the official repository, but only a mirror. The official Git repository is at http://git.buildroot.net/buildroot/. Do not open issues or file pull requests here.
jdreaver/chip8
jdreaver/crafting-interpreters
jdreaver/cue
The new home of the CUE language! Validate and define text-based and dynamic configuration
jdreaver/linux
Linux kernel source tree
jdreaver/nixpkgs
Nix Packages collection
jdreaver/postgrep
Haskell library for parsing PostgreSQL logs
jdreaver/pymachine
Machine learning routines in Python.
jdreaver/pysudoku
Sudoku solver made in Python.
jdreaver/quantities-gui
jdreaver/sketchrec
Codebase I used for digital handwritten sketch understanding research.