Pinned Repositories
ghc.nix
Nix (shell) expression for working on GHC
cabal-audit
audit your cabal projects for haskell-specific security-advisories
cheap_boi
This is going to be a cheap Ergo keyboard based on the atmega32u4
dracuLad
QMK-powered 34-36 key split keyboard
dracuLady
This is the integrated girlfriend of DracuLad
le_chiff_ble
A drop-in replacement-PCB for the beautiful le_chiffre
le_chiff_ble_config
pinsel
space_ginny
basically a ginny clone with pro micro support
zmk
ZMK Firmware Repository
MangoIV's Repositories
MangoIV/cabal-audit
audit your cabal projects for haskell-specific security-advisories
MangoIV/error-message-index
A community-driven collection of documentation for Haskell error messages and warnings
MangoIV/flora-server
A package index for the Haskell ecosystem
MangoIV/nixpkgs
Nix Packages collection
MangoIV/chronos
Haskell time library focusing on performance
MangoIV/discrimination
Fast linear time sorting and discrimination for a large class of data types
MangoIV/ethersync
Ethersync enables real-time co-editing of local text files.
MangoIV/grokking-sc
Artifact for the Functional Pearl "Grokking the Sequent Calculus"
MangoIV/hackage-server
Hackage-Server: A Haskell Package Repository
MangoIV/haskell-sequitur
Haskell implementation of grammar-based compression algorithm SEQUITUR
MangoIV/HaskellNet-SSL
Helpers to connect to SSL/TLS mail servers with HaskellNet
MangoIV/hoogle
Haskell API search engine
MangoIV/hwsl2-haskell
Hashing with SL2 for Haskell
MangoIV/koka
Koka language compiler and interpreter
MangoIV/lapce-haskell
Haskell plugin for Lapce
MangoIV/MangoIV
MangoIV/niri-flake
Nix packages and modules for niri
MangoIV/nixfmt
The official (but not yet stable) formatter for Nix code
MangoIV/nixos-anywhere
install nixos everywhere via ssh [maintainer=@numtide]
MangoIV/nixpkgs-plugin-reproducer
MangoIV/nvim-lspconfig
Quickstart configs for Nvim LSP
MangoIV/nvim-treesitter
Nvim Treesitter configurations and abstraction layer
MangoIV/placeholder
todo and unimplemented, robustly implemented
MangoIV/polarity
A Language with Dependent Data and Codata Types
MangoIV/security-advisories
MangoIV/splaytree
splay trees with monoidal annotations
MangoIV/tasty-bench
Featherlight benchmark framework, drop-in replacement for criterion and gauge.
MangoIV/zaphod-config
MangoIV/zfoh.ch
Our homepage
MangoIV/zurihac-website