Pinned Repositories
skeuchel's Repositories
skeuchel/needle
Needle code generator
skeuchel/gdtc
skeuchel/mtc
skeuchel/language-coq
A pretty-printing solution for the Coq proof assistant language
skeuchel/inbound
skeuchel/3mt
skeuchel/aneris
Program logic for developing and verifying distributed systems
skeuchel/CompCert
The CompCert formally-verified C compiler
skeuchel/cpsc411-skeletons
Skeletons for the CPSC411 project milestones.
skeuchel/conkrip
skeuchel/fomegac
skeuchel/freezing-octo-robot
skeuchel/haskell-lmdb
Lightning MDB bindings for Haskell
skeuchel/haskey-btree
B+-tree implementation in Haskell
skeuchel/linux
Linux kernel source tree
skeuchel/lmdb-ffi
skeuchel/metatheory
Formal Metatheory in Coq
skeuchel/needle-casestudy
skeuchel/nix-iris-dev-overlay
skeuchel/nixos-hardware
A collection of NixOS modules covering hardware quirks.
skeuchel/nixos-licheepi4a
NixOS Running on LicheePi 4A(RISC-V)
skeuchel/nixos-milkv-pioneer
skeuchel/nixpkgs
Nix Packages collection
skeuchel/opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
skeuchel/riscv64-ghc-bindist
Binary GHC Packages compiled for RISC-V 64
skeuchel/ssh-zfs-receive
Safely receive ZFS backups from friends over SSH
skeuchel/unidb-agda
skeuchel/unidb-coq
skeuchel/xxhash-ffi
Haskell FFI bindings to xxHash