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/dracuLad
QMK-powered 34-36 key split keyboard
MangoIV/le_chiff_ble
A drop-in replacement-PCB for the beautiful le_chiffre
MangoIV/cabal-audit
audit your cabal projects for haskell-specific security-advisories
MangoIV/le_chiff_ble_config
MangoIV/ghc.nix
Nix (shell) expression for working on GHC
MangoIV/haskell-flake-repro
MangoIV/lucid
Clear to write, read and edit DSL for writing HTML
MangoIV/nixpkgs
Nix Packages collection
MangoIV/optparse-applicative
Applicative option parser
MangoIV/servant
Main repository for the servant libraries — DSL for describing, serving, querying, mocking, documenting web applications and more!
MangoIV/servant-quickcheck
MangoIV/cabal
Official upstream development repository for Cabal and cabal-install
MangoIV/fak
F.A. Keyboard Firmware
MangoIV/generics-sop
Generic Programming using True Sums of Products
MangoIV/ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
MangoIV/haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
MangoIV/HaskellNet-SSL
Helpers to connect to SSL/TLS mail servers with HaskellNet
MangoIV/hoogle
Haskell API search engine
MangoIV/hsaml2
Haskell SAML2 implementation (in progress)
MangoIV/iamb
A Matrix client for Vim addicts
MangoIV/lapce-haskell-plugin
hopefully a haskell plugin for lapce
MangoIV/MangoIV
MangoIV/neovim
Vim-fork focused on extensibility and usability
MangoIV/nixos-anywhere
install nixos everywhere via ssh [maintainer=@numtide]
MangoIV/NixOS-Users-Against-MIC-Sponsorship.github.io
MangoIV/placeholder
todo and unimplemented, robustly implemented
MangoIV/security-advisories
MangoIV/skylighting
A Haskell syntax highlighting library with tokenizers derived from KDE syntax highlighting descriptions
MangoIV/squeal
Squeal, a deep embedding of SQL in Haskell
MangoIV/wire-server
🇪🇺 Wire back-end services