Pinned Repositories
consensus-tlaplus
dandelion-tla
etcd-test
nixos-config
ocaml-tree-diff
OCons
prototyping-testing
A collection of random tests
reckon
stateright
A model checker for implementing distributed systems.
tla_increment
Cjen1's Repositories
Cjen1/advent2020
Cjen1/archlinux-nix
Bash script for managing the Nix package manager on Arch Linux
Cjen1/async_unix
Jane Street Capital's asynchronous execution library (unix)
Cjen1/buffer-pool
Cjen1/capnp-ocaml
OCaml code generator plugin for the Cap'n Proto serialization framework
Cjen1/capnp-rpc
Cap'n Proto RPC implementation
Cjen1/cook_dsl
Cjen1/dactyl-keyboard
Dactyl-ManuForm, a parameterized ergonomic keyboard translated into Python including a cadquery / Open CASCADE implementation.
Cjen1/decentralizedthoughts.github.io
:sparkles: Build a beautiful and simple website in literally minutes. Demo at http://deanattali.com/beautiful-jekyll
Cjen1/docker-hakyll
Base haskell image with hakyll and some other utilities already installed
Cjen1/dune
A composable build system for OCaml.
Cjen1/hakyll
A static website compiler library in Haskell
Cjen1/haoc21-ae
Cjen1/jepsen
A framework for distributed systems verification, with fault injection
Cjen1/kunji-lab.github.io
Kunji Lab!
Cjen1/lwt
OCaml promises and concurrent I/O
Cjen1/minimal-mistakes
:triangular_ruler: Jekyll theme for building a personal site, blog, project documentation, or portfolio.
Cjen1/nvim-dotfiles
Cjen1/ocamlpaxos_api
Cjen1/odbutils
Cjen1/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
Cjen1/oraft
Raft consensus algorithm implementation
Cjen1/owal
Cjen1/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
Cjen1/rc_op_go
Cjen1/rpc_parallel
Type-safe library for building parallel applications, built on top of Async's Rpc module.
Cjen1/SphereRadii
Cjen1/trackyl-keyboard
Cjen1/tractyl-manuform-keyboard
Cjen1/unix_capnp_messaging