GuillaumeGen

Pinned Repositories

AdventOfCode_in_Dedukti
Language:Python00
agda
Agda is a dependently typed programming language / interactive theorem prover.
Language:Haskell01
Agda2Dedukti
Language:Haskell2 0 01
AIDL_KB
A Knowledge Base for the FB Group Artificial Intelligence and Deep Learning (AIDL)
Language:HTML00
cabal
Official upstream development repository for Cabal and cabal-install
Language:Haskell0 0 00
cooked-validators
Language:Haskell00
Deducteam.github.io
Webpage for Dedukti and related tools
Language:HTML00
Dedukti
Implementation of the λΠ-calculus modulo rewriting
Language:OCaml0 1 00
dklib
General purpose, hand-written, dedukti files
Language:Makefile0 1 00
GottesmanTypes
A few experiments on type level programming with Haskell, relying on https://arxiv.org/abs/2109.02197
Language:Haskell1 1 02

GuillaumeGen's Repositories

GuillaumeGen/Agda2Dedukti
Language:Haskell2 0 01
GuillaumeGen/GottesmanTypes
A few experiments on type level programming with Haskell, relying on https://arxiv.org/abs/2109.02197
Language:Haskell1 1 02
GuillaumeGen/AdventOfCode_in_Dedukti
Language:Python00
GuillaumeGen/agda
Agda is a dependently typed programming language / interactive theorem prover.
Language:Haskell01
GuillaumeGen/AIDL_KB
A Knowledge Base for the FB Group Artificial Intelligence and Deep Learning (AIDL)
Language:HTML00
GuillaumeGen/cabal
Official upstream development repository for Cabal and cabal-install
Language:Haskell0 0 00
GuillaumeGen/cooked-validators
Language:Haskell00
GuillaumeGen/Deducteam.github.io
Webpage for Dedukti and related tools
Language:HTML00
GuillaumeGen/Dedukti
Implementation of the λΠ-calculus modulo rewriting
Language:OCaml0 1 00
GuillaumeGen/dklib
General purpose, hand-written, dedukti files
Language:Makefile0 1 00
GuillaumeGen/exercices-exo7
Exercices d'Exo7
Language:PostScript0 0 00
GuillaumeGen/HVM
A massively parallel, optimal functional runtime in Rust
Language:Rust00
GuillaumeGen/lambdapi
Minimal implementation of the λΠ-calculus modulo
Language:OCaml0 1 00
GuillaumeGen/learnxinyminutes-docs
Code documentation written as code! How novel and totally my idea!
Language:Java0 0 00
GuillaumeGen/graft
GuillaumeGen/Logipedia
An encyclopedia of proofs
Language:OCaml0 0
GuillaumeGen/plutarch
Typed eDSL for writing UPLC /ˈpluː.tɑːk/
Language:Haskell0 0
GuillaumeGen/plutus
The Plutus language implementation and tools
Language:HTML0 0
GuillaumeGen/rules_haskell
Haskell rules for Bazel.
Language:Starlark0 0
GuillaumeGen/SCT_v2
Language:OCaml1 0
GuillaumeGen/Sukerujo
Syntactic sugar for Dedukti
Language:OCaml
GuillaumeGen/symeval-experiment
GuillaumeGen/tree-sitter-nickel
GuillaumeGen/tree_sitter_for_atelier_b
Language:JavaScript
GuillaumeGen/UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Language:Coq0 0