-
theorem_proving_in_lean4 Public
Forked from leanprover/theorem_proving_in_lean4Theorem Proving in Lean 4
Lean Apache License 2.0 UpdatedOct 5, 2025 -
-
-
conjure-oxide Public
Forked from conjure-cp/conjure-oxideRust Mozilla Public License 2.0 UpdatedMay 2, 2025 -
uniplate Public
Forked from conjure-cp/uniplateSimple, boilerplate-free operations on tree shaped data types. Port of the Uniplate Haskell library into Rust.
Rust Mozilla Public License 2.0 UpdatedJan 27, 2025 -
tinylangs Public
Forked from zserge/tinylangsReal programming languages in 50 lines of code
-
runsolver Public
Forked from utpalbora/runsolverClone of runsolver v3.4.0 from http://www.cril.univ-artois.fr/~roussel/runsolver/
C++ UpdatedMar 30, 2024 -
conjure Public
Forked from conjure-cp/conjureConjure: The Automated Constraint Modelling Tool
Haskell Other UpdatedNov 6, 2023 -
csplib Public
Forked from csplib/csplibA benchmark library for constraints
Prolog UpdatedApr 20, 2023 -
-
bibtex-clean Public
Reads bibtex entries from stdin, and writes a "clean" version of all entries to stdout.
-
tasty Public
Forked from UnkindPartition/tastyModern and extensible testing framework for Haskell
Haskell UpdatedMay 15, 2018 -
stacscheck Public
Forked from ChrisJefferson/stacscheckSt Andrews Computer Science Checker
HTML UpdatedOct 9, 2017 -
-
-
-
constraints Public
Forked from ekmett/constraintsTools for programming with ConstraintKinds in GHC
Haskell Other UpdatedFeb 9, 2017 -
-
-
Idris-dev Public
Forked from idris-lang/Idris-devA Dependently Typed Functional Programming Language
Haskell Other UpdatedAug 5, 2016 -
cabal Public
Forked from haskell/cabalOfficial upstream development repository for Cabal and cabal-install
Haskell Other UpdatedAug 1, 2016 -
generic-deriving Public
Forked from dreixel/generic-derivingHaskell BSD 3-Clause "New" or "Revised" License UpdatedJul 3, 2016 -
cmdargs Public
Forked from ndmitchell/cmdargsHaskell library for command line argument processing
Haskell BSD 3-Clause "New" or "Revised" License UpdatedFeb 16, 2016 -
-
cabal-list-outdated Public
cabal-install doesn't have an option to generate a list of outdated packages. This simple tool does that.
-
knot-tree Public
Haskell tree implementations, with nodes having reference to parents.
{{ message }}