Steven Keuchel's repositories
language-coq
A pretty-printing solution for the Coq proof assistant language
CompCert
The CompCert formally-verified C compiler
Language:CoqNOASSERTION000
cpsc411-skeletons
Skeletons for the CPSC411 project milestones.
Language:Agda000
haskell-lmdb
Lightning MDB bindings for Haskell
Language:HaskellBSD-2-Clause000
haskey-btree
B+-tree implementation in Haskell
Language:HaskellNOASSERTION000
Language:CBSD-3-Clause000
metatheory
Formal Metatheory in Coq
Language:CoqBSD-3-Clause000
nixos-hardware
A collection of NixOS modules covering hardware quirks.
Language:NixCC0-1.0000
nixos-licheepi4a
NixOS Running on LicheePi 4A(RISC-V)
MIT000
Language:Nix000
opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
Language:OCamlLGPL-2.1000
riscv64-ghc-bindist
Binary GHC Packages compiled for RISC-V 64
Language:DockerfileBSD-2-Clause000
ssh-zfs-receive
Safely receive ZFS backups from friends over SSH
GPL-3.0000
Language:AgdaMIT000
xxhash-ffi
Haskell FFI bindings to xxHash
Language:CBSD-3-Clause000