☆10Feb 25, 2020Updated 6 years ago
Alternatives and similar repositories for games
Users that are interested in games are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Jul 24, 2021Updated 4 years ago
- Mini Ethereum Virutal Machine☆14Jul 31, 2018Updated 7 years ago
- Tiny dependent calculus with inference of irrelevance and erasure☆15Jan 17, 2020Updated 6 years ago
- An infinity-categorical coherence typechecker☆18Nov 4, 2024Updated last year
- This is a Coq formalization of Damas-Milner type system and its algorithm W.☆29Jul 4, 2020Updated 5 years ago
- ☆15Jun 22, 2020Updated 5 years ago
- Stripped-down version of mccs with OCaml bindings☆23Jan 9, 2025Updated last year
- A prototype for a monadic program logic in Lean that has since been upstreamed into the Lean 4 repo☆37Jun 27, 2025Updated 8 months ago
- Calculus of Constructions☆18Jul 17, 2019Updated 6 years ago
- Fix for the contracts which are not compatible with ERC20☆25Oct 15, 2019Updated 6 years ago
- A Dependently Typed Esolang☆10Aug 4, 2017Updated 8 years ago
- ☆15Oct 24, 2017Updated 8 years ago
- Session types in Idris2!☆27Dec 14, 2020Updated 5 years ago
- ☆15Jul 21, 2023Updated 2 years ago
- A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.☆18Jun 21, 2015Updated 10 years ago
- Experiments with preordered set models of (directed) type theories☆15Jul 10, 2019Updated 6 years ago
- All higher inductive types can be obtained from three simple HITs.☆17Apr 6, 2018Updated 7 years ago
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated 11 months ago
- I'm putting Palmgren's Constructive Sheaf Semantics into Agda. Defines sheaves via Grothendieck pretopologies.☆17Jan 5, 2015Updated 11 years ago
- A dependently typed type checker for a TT with intervals☆24Feb 6, 2020Updated 6 years ago
- ☆39Mar 6, 2026Updated 2 weeks ago
- Type theory in type theory☆16Feb 26, 2012Updated 14 years ago
- Full implementation of F-ing Modules, with the power of sequent calculus☆20Mar 11, 2021Updated 5 years ago
- A proof of concept automatic differentiation library for Rust☆24Feb 28, 2018Updated 8 years ago
- ☆12Mar 23, 2024Updated 2 years ago
- A Rocq formalization of information theory and linear error-correcting codes☆75Mar 6, 2026Updated 2 weeks ago
- Work in progress on semi-simplicial types☆24Dec 15, 2022Updated 3 years ago
- Symbolic logic expressions☆16Jul 1, 2020Updated 5 years ago
- Code to support the guide to logical induction for software engineers☆11Mar 24, 2025Updated 11 months ago
- Nix + Lean = Nale☆12Jul 16, 2023Updated 2 years ago
- Type-preserving CPS translation for simply- and dependently-typed lambda calculi☆19Jun 3, 2017Updated 8 years ago
- Package splice wraps the splice system call.☆17Mar 1, 2021Updated 5 years ago
- Type Theory with Indexed Equality☆26Apr 7, 2017Updated 8 years ago
- A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]☆25Mar 3, 2026Updated 3 weeks ago
- There are currently many checks of clang-tidy, which is listed here: http://clang.llvm.org/extra/clang-tidy/checks/list.html. This reposi…☆31Apr 3, 2018Updated 7 years ago
- client/library/framework for the Scuttlebut.nz (SSB) network☆13Oct 3, 2017Updated 8 years ago
- Organize mathematical thoughts☆20Oct 6, 2023Updated 2 years ago
- Haskell implementation of open games☆183Jan 31, 2025Updated last year
- A python implementation of the nobel prize winning matching algorithm.☆10Nov 22, 2023Updated 2 years ago