-
-
reference-manual Public
Forked from leanprover/reference-manualJavaScript Apache License 2.0 UpdatedJan 30, 2025 -
.cfg Public
Managing my (NixOS/Ubuntu+nix+home-manager based) configurations
-
aegis Public
Forked from lindy-labs/aegisVerify Cairo contracts in Lean 4
Lean GNU General Public License v3.0 UpdatedJan 9, 2025 -
-
abs-den-del-cont Public
Denotational Interpreter using delimited continuations
Haskell UpdatedDec 28, 2024 -
-
ghc.dev Public
Forked from serokell/ghc.devThe https://ghc.dev Website Generator
Haskell UpdatedOct 22, 2024 -
-
stackage Public
Forked from commercialhaskell/stackage"Stable Hackage," tools for creating a vetted set of packages from Hackage.
Shell MIT License UpdatedSep 20, 2024 -
happy-rad Public
Forked from knothed/happy-radA modular happy extension providing a recursive ascent-descent backend
Haskell UpdatedSep 19, 2024 -
data-elevator Public
Coerce between unlifted boxed and lifted types
-
lhs2tex Public
Forked from kosmikus/lhs2texPreprocessor for typesetting Haskell sources with LaTeX
Haskell Other UpdatedAug 23, 2024 -
ghc.nix Public
Forked from alpmestan/ghc.nixNix (shell) expression for working on GHC
Nix BSD 3-Clause "New" or "Revised" License UpdatedJul 25, 2024 -
pmcheck Public
LaTeX Source code for our ICFP'20 paper "Lower Your Guards: A Compositional Pattern-Match Coverage Checker"
-
alex Public
Forked from haskell/alexA lexical analyser generator for Haskell
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJul 14, 2024 -
happy Public
Forked from haskell/happyThe Happy parser generator for Haskell
Haskell Other UpdatedJul 12, 2024 -
-
-
-
summer-of-haskell Public
Forked from haskell-org/summer-of-haskellSource code of summer.haskell.org
HTML Other UpdatedFeb 4, 2024 -
comp-trace Public
A paper about Cousot-style Compositional Trace Semantics for call-by-need lambda calculus; rejected from POPL and superseded by https://github.com/sgraf812/abs-den
TeX UpdatedJan 19, 2024 -
Praktomat Public
Forked from KITPraktomatTeam/Praktomatquality control for programming assignments
Python GNU General Public License v2.0 UpdatedNov 28, 2023 -
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
Nix MIT License UpdatedOct 5, 2023 -
-
-
bytestring Public
Forked from haskell/bytestringAn efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.
Haskell Other UpdatedAug 11, 2023 -
ghc-artefact-nix Public
Forked from mpickering/ghc-artefact-nixCreate environments with GHC HEAD artefacts
Nix UpdatedJun 28, 2023 -
haskellfoundation.github.io Public
Forked from haskellfoundation/haskellfoundation.github.ioThe Haskell Foundation website, hosted by GitHub Pages.
Nix Other UpdatedJun 6, 2023 -
while-bison Public
A while dialect interpreter where lexer and parser are generated by `flex`/`bison` in C
C UpdatedMay 22, 2023
{{ message }}