-
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
Nix MIT License UpdatedOct 28, 2025 -
SC-election-2025 Public
Forked from NixOS/SC-election-20252025 Election for the Steering Committee
Haskell Other UpdatedSep 24, 2025 -
eglot Public
Forked from joaotavora/eglotA client for Language Server Protocol servers
Emacs Lisp GNU General Public License v3.0 UpdatedDec 4, 2024 -
flycheck-eglot Public
Forked from flycheck/flycheck-eglotFlycheck support for eglot
Emacs Lisp GNU General Public License v3.0 UpdatedAug 24, 2024 -
Ergonomic Command Mode for Emacs
Emacs Lisp GNU General Public License v3.0 UpdatedAug 20, 2024 -
haskell-ghcid-mode Public
Emacs major mode for navigating ghcid and ghciwatch errors
Emacs Lisp GNU General Public License v3.0 UpdatedFeb 11, 2024 -
-
socket.lean Public
Forked from hargoniX/socket.leansockets for Lean 4
Lean MIT License UpdatedFeb 3, 2024 -
Http.lean Public
Forked from algebraic-dev/httpHTTP Primitives for Lean4
Lean Apache License 2.0 UpdatedDec 15, 2023 -
alsa-mixer Public
Haskell bindings to the ALSA mixer API
-
-
-
-
esqueleto Public
Forked from bitemyapp/esqueletoHaskell BSD 3-Clause "New" or "Revised" License UpdatedSep 7, 2023 -
-
-
injections Public
Canonical injections and projections between Haskell types
-
pipes-sqlite-simple Public
Forked from nkpart/pipes-sqlite-simpleFunctions that smash Pipes and sqlite-simple together
-
nix-direnv Public
Forked from nix-community/nix-direnvA fast, persistent use_nix/use_flake implementation for direnv [maintainer=@Mic92 / @bbenne10]
Python MIT License UpdatedApr 19, 2022 -
pipes-ghc-events Public
Compositional pipelines for parsing .eventlog files
-
pipes-aeson Public
Forked from k0001/pipes-aesonHaskell BSD 3-Clause "New" or "Revised" License UpdatedMar 28, 2022 -
-
HieDb Public
Forked from wz1000/HieDbGenerates a references DB from .hie files
Haskell BSD 3-Clause "New" or "Revised" License UpdatedFeb 18, 2022 -
haskell-love-2021 Public
Strict Haskell presentation at haskell.love 2021
-
-
-
cabal-template Public
A quick template for Haskell projects with Cabal
Nix BSD 3-Clause "New" or "Revised" License UpdatedMay 17, 2021 -
evm-semantics Public
Forked from runtimeverification/evm-semanticsK Semantics of the Ethereum Virtual Machine (EVM)
Makefile Other UpdatedMar 19, 2021 -
-
{{ message }}