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/lapce-haskell-plugin
hopefully a haskell plugin for lapce
MangoIV/squeal
Squeal, a deep embedding of SQL in Haskell
MangoIV/lucid
Clear to write, read and edit DSL for writing HTML
MangoIV/ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
MangoIV/HaskellNet-SSL
Helpers to connect to SSL/TLS mail servers with HaskellNet
MangoIV/skylighting
A Haskell syntax highlighting library with tokenizers derived from KDE syntax highlighting descriptions
MangoIV/Base16
MangoIV/aeson
A fast Haskell JSON library
MangoIV/http-api-data
Converting to/from HTTP API data like URL pieces, headers and query parameters.
MangoIV/Stripe-Haskell-Library
Auto Generated Haskell Library for Stripe
MangoIV/rel8
Hey! Hey! Can u rel8?
MangoIV/fused-effects
A fast, flexible, fused effect system for Haskell
MangoIV/flora-server
A package index for the Haskell ecosystem
MangoIV/typst-lsp
A brand-new language server for Typst, plus a VS Code extension
MangoIV/std4
Standard Library for Lean 4
MangoIV/lvars
The LVish Haskell library
MangoIV/nixos-hardware
A collection of NixOS modules covering hardware quirks.
MangoIV/eff
🚧 a work in progress effect system for Haskell 🚧
MangoIV/libsodium-bindings
Embedded bindings to libsodium for Haskell
MangoIV/accelerate-llvm
LLVM backend for Accelerate
MangoIV/accelerate
Embedded language for high-performance array computations
MangoIV/duo-lang
Duo - A research language exploring duality in programming language design
MangoIV/hlint
Haskell source code suggestions
MangoIV/discover-instances
A TemplateHaskell helper that discovers type class instances for you
MangoIV/typst-fmt
MangoIV/typst.nvim
WIP. Goals: Treesitter highlighting, snippets, and a smooth intergration with neovim.
MangoIV/haskell-lockfree
A collection of different packages for CAS based data structures.
MangoIV/typst
A new markup-based typesetting system that is powerful and easy to learn.
MangoIV/lake
Lean 4 build system and package manager with configuration files written in Lean.
MangoIV/haddock
Haskell Documentation Tool