-
ctrees Public
Forked from vellvm/ctreesAn itree-like data-structure to additionally support internal non-determinism
Rocq Prover MIT License UpdatedOct 20, 2025 -
-
org-chef Public
A package for making a cookbook and managing recipes with org-mode.
-
opam Public
Forked from rocq-prover/opamArchive for all Coq related OPAM packages organized in various repositories
OCaml GNU Lesser General Public License v2.1 UpdatedJul 10, 2025 -
diagrams-input Public
Forked from diagrams/diagrams-inputReading of raster images with JuicyPixels, SVG images with xml-conduit
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMar 9, 2025 -
floskell Public
Forked from ennocramer/floskellFloskell is a flexible Haskell source code pretty printer.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMar 9, 2025 -
diagrams-svg Public
Forked from diagrams/diagrams-svgAn SVG backend for diagrams
Haskell Other UpdatedMar 4, 2025 -
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
Nix MIT License UpdatedFeb 11, 2025 -
Trying to do existential proofs with coinductive values.
-
llvm-project Public
Forked from llvm/llvm-projectThe LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
LLVM Other UpdatedJan 14, 2025 -
recursion-schemes Public
Forked from recursion-schemes/recursion-schemesGeneralized bananas, lenses and barbed wire
Haskell Other UpdatedDec 7, 2024 -
-
-
opam-repository Public
Forked from ocaml/opam-repositoryMain public package repository for opam, the source package manager of OCaml.
Shell Creative Commons Zero v1.0 Universal UpdatedApr 16, 2024 -
xmonad-contrib Public
Forked from xmonad/xmonad-contribContributed modules for xmonad
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMar 9, 2024 -
QuickChick Public
Forked from QuickChick/QuickChickRandomized Property-Based Testing Plugin for Coq
-
-
flocq-quickchick Public
Forked from digamma-ai/flocq-quickchickFlocq binary float generators for QuickChick
Coq UpdatedFeb 17, 2023 -
InteractionTrees Public
Forked from DeepSpec/InteractionTreesFormalization of the Interaction Tree Datatype in Coq
Coq MIT License UpdatedNov 21, 2022 -
-
coq-module-extraction-bugs Public
Messing around with Coq modules and breaking things.
Nix MIT License UpdatedOct 21, 2022 -
helm-projectile Public
Forked from bbatsov/helm-projectileHelm UI for Projectile
Emacs Lisp UpdatedOct 17, 2022 -
coq-min-imports Public
Forked from vzaliva/coq-min-importsScript to remove unnecessary module imports from Coq sourcess
OCaml MIT License UpdatedOct 14, 2022 -
-
-
PG Public
Forked from ProofGeneral/PGThis repo is the new home of Proof General
-
shared-fields Public
Forked from intolerable/shared-fieldsa tiny library for using shared lens fields
Haskell BSD 3-Clause "New" or "Revised" License UpdatedDec 20, 2021 -
coq-printf Public
Forked from gmalecha/coq-printfImplementation of sprintf for Coq
Coq MIT License UpdatedMar 16, 2021 -
qmk_firmware Public
Forked from hunner/qmk_firmwareOpen-source keyboard firmware for Atmel AVR and Arm USB families
C GNU General Public License v2.0 UpdatedNov 16, 2020 -
coq Public
Forked from rocq-prover/rocqCoq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…
OCaml GNU Lesser General Public License v2.1 UpdatedAug 10, 2020
{{ message }}