GuillaumeGen's Stars
Deducteam/Agda2Dedukti
Deducteam/SizeChangeTool
A termination checker for higher-order rewriting with dependent types
Deducteam/Dedukti
Implementation of the λΠ-calculus modulo rewriting
BillHallahan/G2
ret/specifica
Basic TLA+ related Haskell libraries (parser, evaluator, pretty-printer)
tweag/pirouette
Language-generic workbench for building static analysis
Deducteam/Logipedia
An encyclopedia of proofs
Deducteam/lambdapi
Proof assistant based on the λΠ-calculus modulo rewriting