GuillaumeGen's repositories
GottesmanTypes
A few experiments on type level programming with Haskell, relying on https://arxiv.org/abs/2109.02197
agda
Agda is a dependently typed programming language / interactive theorem prover.
AIDL_KB
A Knowledge Base for the FB Group Artificial Intelligence and Deep Learning (AIDL)
cabal
Official upstream development repository for Cabal and cabal-install
Deducteam.github.io
Webpage for Dedukti and related tools
exercices-exo7
Exercices d'Exo7
HVM
A massively parallel, optimal functional runtime in Rust
learnxinyminutes-docs
Code documentation written as code! How novel and totally my idea!
Logipedia
An encyclopedia of proofs
plutarch
Typed eDSL for writing UPLC /ˈpluː.tɑːk/
plutus
The Plutus language implementation and tools
rules_haskell
Haskell rules for Bazel.
Sukerujo
Syntactic sugar for Dedukti
UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.