Théo Zimmermann's Projects
A Web Application for Learning OCaml
How to Make Ad Hoc Proof Automation Less Ad Hoc
Contient les définitions de types correspondant à l'ast de lics ainsi que des moyens d'enregistrer ces types dans des fichiers binaires
Simule un circuit logique décrit en LICS
Projet du cours de compil
Play with logic by dragging and dropping formulae (only with compatible recent browsers)
Documentation on goals of the coq-community organization, the shared contributing guide and code of conduct.
A library of abstract interfaces for mathematical structures in Coq.
A Coq/SSReflect library for mechanism design
Nix, the purely functional package manager
Nix Packages collection
Analysis on nixpkgs issue lifetime.
A conda-smithy repository for ocaml.
Pure OCaml Git format and protocol
A conda-smithy repository for ocaml-num.
OCaml Platform
A conda-smithy repository for ocaml-zarith.
Archive for all Coq related OPAM packages organized in various repositories
Main public package repository for opam, the source package manager of OCaml.
📚 Community guides for open source creators
Discussions on organization of the organization 🎩
📦 IPFS Package Managers Task Force
Coq plugin for parametricity
PeaCoq is a pretty Coq, isn't it?
Type-safe GraphQL queries in OCaml
Binary Rational Numbers
Randomized Property-Based Testing Plugin for Coq
A Coq plugin to add reduction side effects to some Coq reduction strategies
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
A survey of semantics styles, from natural semantics through structural operational, axiomatic, and denotational semantics, to abstract interpretation [maintainer=@k4rtik]