-
elem-perf Public
Testing perf of: https://gitlab.haskell.org/ghc/ghc/-/merge_requests/15793
-
-
parsing-ddgs Public
Parsing Data-Dependent Grammars using Derivatives
-
-
cbf-hs Public
Forked from pmiddend/cbf-hsHaskell bindings to read Crystallographic Binary Files (CBF)
Haskell BSD 3-Clause "New" or "Revised" License UpdatedDec 29, 2025 -
microflatparse Public
Minimal version of flatparse which only depends on base and bytestring and does not require template haskell.
Haskell UpdatedDec 24, 2025 -
agda2scheme Public
Forked from jespercockx/agda2schemeCompiler backend for generating Scheme code
Haskell UpdatedNov 30, 2025 -
linear-accelerate Public
Forked from tmcdonell/linear-accelerateInstances to mix Linear with Accelerate
Haskell Other UpdatedNov 21, 2025 -
plfa.github.io Public
Forked from plfa/plfa.github.ioAn introduction to programming language theory in Agda
Agda Creative Commons Attribution 4.0 International UpdatedOct 25, 2025 -
Agda is a dependently typed programming language / interactive theorem prover.
Haskell Other UpdatedOct 22, 2025 -
sintaks Public
Example of using transitive-constraint-plugin in a standalone project
Haskell UpdatedOct 3, 2025 -
print-api Public
Forked from Kleidukos/print-apiDump the declarations of Haskell modules
Haskell UpdatedOct 2, 2025 -
-
-
xrizer Public
Forked from Supreeeme/xrizerXR-ize your favorite OpenVR games
Rust GNU General Public License v3.0 UpdatedSep 20, 2025 -
pi-forall Public
Forked from sweirich/pi-forallA demo implementation of a simple dependently-typed language
Haskell BSD 3-Clause "New" or "Revised" License UpdatedSep 16, 2025 -
haskell-spec Public
Forked from haskell-spec/haskell-specFormal specification of the Haskell Language Report
Lean MIT License UpdatedSep 13, 2025 -
haskell-school-of-expression Public
Update SOE to work with modern Haskell
-
hmatrix-backtrace Public
Reproducer for https://stackoverflow.com/q/79678524/15207568
Haskell UpdatedJun 28, 2025 -
hmatrix Public
Forked from haskell-numerics/hmatrixLinear algebra and numerical computation
Haskell UpdatedJun 28, 2025 -
wat Public
Minimal example of loading and running WebAssembly (text) code with Node.js
WebAssembly UpdatedMay 20, 2025 -
-
fleet-array Public
A modern implementation of diff arrays
-
transitive-constraint-plugin Public
A GHC plugin for resolving transitivity of a binary type class
-
error-message-index Public
Forked from haskellfoundation/error-message-indexA community-driven collection of documentation for Haskell error messages and warnings
Haskell UpdatedMar 1, 2025 -
-
haskell-language-server Public
Forked from haskell/haskell-language-serverOfficial haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
Haskell Apache License 2.0 UpdatedFeb 12, 2025 -
-
hirane Public
A language which consists solely of Damas-Hindley-Milner lambda calculus + higher-rank newtypes
-
{{ message }}