cjen1 Goto Github PK

advent2020

aoc

apalache

APALACHE: symbolic model checker for TLA+

archlinux-nix

Bash script for managing the Nix package manager on Arch Linux

async_unix

Jane Street Capital's asynchronous execution library (unix)

buffer-pool

capnp-ocaml

OCaml code generator plugin for the Cap'n Proto serialization framework

capnp-rpc

Cap'n Proto RPC implementation

cjen1

cjen1.github.io

consensus-tlaplus

containernet

Mininet fork adding support for container-based (e.g. Docker) emulated hosts.

containernet_docker

cook_dsl

core-hello-world

Some simple exercises for getting up and running with OCaml, Dune, Core and Async

core-network

databox's traffic managing component

dactyl-keyboard

Dactyl-ManuForm, a parameterized ergonomic keyboard translated into Python including a cadquery / Open CASCADE implementation.

decentralizedthoughts.github.io

:sparkles: Build a beautiful and simple website in literally minutes. Demo at http://deanattali.com/beautiful-jekyll

docker-hakyll

Base haskell image with hakyll and some other utilities already installed

dune

A composable build system for OCaml.

eio

Effects-based direct-style IO for multicore OCaml

endive

Tool for automatically inferring inductive invariants of distributed protocols.

etcd

Distributed reliable key-value store for the most critical data of a distributed system

etcd-test

examples

A collection of TLA+ specifications of varying complexities

hack-cambridge-ternary

hackmit-recommends

hakyll

A static website compiler library in Haskell

haoc21-ae

hc4d