-
orgmode-daedalus Public
Haskell parser and pretty-printer for the Emacs Org mode (https://orgmode.org) document format.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedOct 11, 2026 -
tasty-sugar Public
Haskell test framework for Tests defined by Search Using Golden Answer References
-
-
named-text Public
A parameterized named text type and associated functionality for Haskell.
-
tasty-checklist Public
A checklist of results reported as a group for the Haskell Tasty testing framework.
-
sayable Public
Data structures, classes and operators for constructing context-adjusted pretty output in Haskell
-
nix-levers Public
Various levers to control and adjust builds with nix flakes.
-
brick-panes Public
Panes library overlay for Brick library providing composition and isolation for Haskell TUI apps.
-
org-mode Public
Forked from fosskers/org-modeParser for Emacs org-mode files
Haskell UpdatedMay 10, 2026 -
haggle Public
Forked from travitch/haggleAn efficient graph library for Haskell
Haskell BSD 3-Clause "New" or "Revised" License UpdatedApr 12, 2026 -
hydra Public
Forked from NixOS/hydraHydra, the Nix-based continuous build system
Perl GNU General Public License v3.0 UpdatedJan 4, 2026 -
versioning Public
Forked from lortabac/versioningType-safe data versioning.
Haskell UpdatedDec 20, 2025 -
eng Public
Engineering process tool. Project management and operations facilitation.
-
tasty-hedgehog Public
Forked from qfpl/tasty-hedgehogTasty integration for the Hedgehog property testing library
Haskell Other UpdatedSep 29, 2025 -
haskell-hedgehog-classes Public
Forked from hedgehogqa/haskell-hedgehog-classesHedgehog will eat your typeclass bugs
Haskell BSD 3-Clause "New" or "Revised" License UpdatedSep 23, 2025 -
-
Ada_Test_Trace_Framework Public
Forked from angel-gallegos-1/Ada_Test_Trace_FrameworkAda UpdatedSep 15, 2025 -
car_design Public
Example project for RDE (Rigorous Digital Engineering)
Python UpdatedSep 15, 2025 -
Thespian Public
Forked from thespianpy/ThespianPython Actor concurrency library
-
build-bom Public
Forked from travitch/build-bomDynamically discover the commands used to create a piece of software
Rust Apache License 2.0 UpdatedFeb 16, 2025 -
clafer Public
Forked from gsdlab/claferClafer is a lightweight modeling language
-
wazuh Public
Forked from wazuh/wazuhWazuh - The Open Source Security Platform. Unified XDR and SIEM protection for endpoints and cloud workloads.
C++ Other UpdatedDec 1, 2024 -
brick Public
Forked from jtdaugherty/brickA declarative terminal UI programming library written in Haskell (releases at http://hackage.haskell.org/package/brick)
Haskell Other UpdatedNov 29, 2024 -
cabal Public
Forked from haskell/cabalOfficial upstream development repository for Cabal and cabal-install
Haskell Other UpdatedNov 1, 2024 -
mywork Public
Tool to keep track of what you have been working on, and where and when work should continue
-
daedalus Public
Forked from GaloisInc/daedalusThe Daedalus data description language
Haskell BSD 3-Clause "New" or "Revised" License UpdatedAug 12, 2024 -
diagnose Public
Forked from Mesabloo/diagnoseA simple library for reporting compiler/interpreter errors
Haskell BSD 3-Clause "New" or "Revised" License UpdatedAug 11, 2024 -
alex-tools Public
Forked from GaloisInc/alex-toolsA Haskell library making it easier to write Alex lexers.
Haskell ISC License UpdatedJul 20, 2024 -
skylighting Public
Forked from jgm/skylightingA Haskell syntax highlighting library with tokenizers derived from KDE syntax highlighting descriptions
Haskell UpdatedJun 7, 2024 -
brick-skylighting Public
Forked from jtdaugherty/brick-skylightingDisplay syntax-highlighted text in Brick user interfaces
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMay 6, 2024
{{ message }}