Nick Spinale's repositories
nix-isabelle
Isabelle packaged using Nix without prebuilt platform-specific binary artifacts
moodle-crawler
Archive parts of moodle.carleton.edu
compiler-rt-boot
LLVM's build system effectively requires a full toolchain to build compiler-rt. This repository contains the generic builtins component of compiler-rt with a build system that does requires no target code.
firecracker-repro
Nix expressions for reproducing [Firecracker](https://github.com/firecracker-microvm/firecracker) issues
pyxendbg
Debugger for paravirtualized Xen guests
conduit-cereal
Conduits for Data.Serialize (different from cereal-conduit)
edb
Easy/Enhanced pdb
halvm-ghc
Patched mirror of GHC repository used by HaLVM. Docs and Issues are at the main HaLVM repo:
heavy-duty-regex
Construct optimally sized DFA's. Useful for embedding DFA's in compiled code (e.g. via Template Haskell).
hs-socks
Socks proxy library for haskell
http-client-lens
Lenses for http-client
isabelle
git mirror of the Munich isabelle hg repository
juniper-vpn-py
Python Juniper VPN Authenticator
rustls
A modern TLS library in Rust
socks5
Minimal, modular Haskell implementation of rfc1928 and rfc1929
synthol
Unikernel base layer for Xen based on musl-libc and the HaLVM runtime
tls-pure
Vincent Hanquez's Haskell TLS library with all of the IO refactored out
trusted-firmware-a
https://git.trustedfirmware.org/TF-A/trusted-firmware-a.git/
wire
Parser combinators that always consume all of their input
xhb-monad
Monad transformer for xhb server connections