jake's repositories
eff
🚧 a work in progress effect system for Haskell 🚧
Language:HaskellISC000
encode-zigzag
Haskell Zigzag encoding for signed integer types.
hie-bios
Set up a GHC API session for various Haskell Projects
Language:HaskellBSD-3-Clause000
math-notes-tex-template
tex template I use for math notes
mqtt-hs
Haskell MQTT client.
Language:HaskellBSD-3-Clause000
OSX-KVM
Run macOS on QEMU/KVM. With OpenCore + Big Sur + Monterey + Ventura support now! Only commercial (paid) support is available now to avoid spammy issues. No Mac system is required.
Language:Python000
Language:HaskellISC000
Language:Agda000
prim-char
Facilities for working with unboxed characters.
Language:HaskellISC000
prim-compat
Backwards compatible GHC primitives.
Language:HaskellISC000
source-locations
Creating and manipulation source file locations.
swar
SWAR vectors and operations in Haskell
Language:Haskell000
template-helper
Useful functions using Template Haskell.
Language:HaskellBSD-3-Clause000
zsh-nix-shell
zsh plugin that lets you use zsh in nix-shell shells.
Language:NixBSD-3-Clause000