MangoIV

dracuLad

QMK-powered 34-36 key split keyboard

le_chiff_ble

A drop-in replacement-PCB for the beautiful le_chiffre

cabal-audit

audit your cabal projects for haskell-specific security-advisories

le_chiff_ble_config

error-message-index

A community-driven collection of documentation for Haskell error messages and warnings

ghc.nix

Nix (shell) expression for working on GHC

haskell-flake-repro

nixpkgs

Nix Packages collection

optparse-applicative

Applicative option parser

servant

Main repository for the servant libraries — DSL for describing, serving, querying, mocking, documenting web applications and more!

servant-quickcheck

cabal

Official upstream development repository for Cabal and cabal-install

discrimination

Fast linear time sorting and discrimination for a large class of data types

fak

F.A. Keyboard Firmware

generics-sop

Generic Programming using True Sums of Products

ghc-artefact-nix

Create environments with GHC HEAD artefacts

haskell-language-server

Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

hoogle

Haskell API search engine

hsaml2

Haskell SAML2 implementation (in progress)

iamb

A Matrix client for Vim addicts

koka

Koka language compiler and interpreter

MangoIV

neovim

Vim-fork focused on extensibility and usability

nixos-anywhere

install nixos everywhere via ssh [maintainer=@numtide]

NixOS-Users-Against-MIC-Sponsorship.github.io

nvim-lspconfig

Quickstart configs for Nvim LSP

nvim-treesitter

Nvim Treesitter configurations and abstraction layer

placeholder

todo and unimplemented, robustly implemented

security-advisories

wire-server

🇪🇺 Wire back-end services