Guillaume Claret's repositories
redux-ship
Side effects with snapshots for Redux.
coq-moment
⌚ Parse, manipulate and pretty-print times and dates in Coq
coq-soft-toys
🐻 🐓 A boutique for coq soft toys
opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
arbitrum-docs
Arbitrum Docs! Content + Webapp
awesome-ocaml
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
clarus.github.io
GitHub pages.
commercialhaskell
A special interest group for companies and individuals interested in commercial usage of Haskell
Coq-Equations
A plugin for Coq to add dependent pattern-matching.
crypto-ecosystems
A taxonomy for open source cryptocurrency, blockchain, and decentralized ecosystems
formalverification.xyz
A website listing all the best FV companies in the Crypto space.
ghc
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
palimpsest
Fast serializable C++ dictionaries
practical-fm
A gently curated list of companies using verification formal methods in industry