guarded interaction trees
☆11Jul 4, 2025Updated 7 months ago
Alternatives and similar repositories for gitrees
Users that are interested in gitrees are comparing it to the libraries listed below
Sorting:
- ☆13Apr 28, 2025Updated 10 months ago
- Deadlock freedom by type checking☆20Jun 2, 2023Updated 2 years ago
- types for various combinatory systems, especialy tree calculi☆24Jan 23, 2025Updated last year
- A Seamless, Interactive Tactic Learner and Prover for Coq☆83Feb 17, 2026Updated last week
- VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification …☆47Dec 31, 2024Updated last year
- Formalisation of a capability machine and principles for reasoning about security properties☆26Jul 4, 2025Updated 7 months ago
- We define a simple programming language, simp_lang, then instantiate Iris to verify simple simp_lang programs with concurrent separation …☆59Jul 4, 2025Updated 7 months ago
- Tiny verified SAT-solver☆30Jan 7, 2022Updated 4 years ago
- Probabilistic separation logics for verifying higher-order probabilistic programs.☆35Feb 20, 2026Updated last week
- Program logic for developing and verifying distributed systems☆36Updated this week
- An attempt towards univalent classical mathematics in Cubical Agda.☆32Sep 15, 2023Updated 2 years ago
- Formalization of C++ for verification purposes.☆90Updated this week
- 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
- IO for Gallina☆34Dec 17, 2025Updated 2 months ago
- report when files change☆42Jan 3, 2024Updated 2 years ago
- A formalization of M-types in Agda☆36Mar 7, 2020Updated 5 years ago
- A systems Lisp that compiles to C. Homoiconic macros, refcounted memory, Hindley-Milner type inference.☆33Feb 16, 2026Updated last week
- ☆11Jun 24, 2024Updated last year
- ☆17Jan 3, 2025Updated last year
- Groupoids vs 1-Types☆11Nov 8, 2018Updated 7 years ago
- A Certified Interpreter for ML with Structural Polymorphism☆45Apr 11, 2025Updated 10 months ago
- Template for Lean<->Rust FFI☆14Feb 11, 2024Updated 2 years ago
- ☆12Nov 19, 2024Updated last year
- A color scheme inspired by the colors of rainy days☆13Jul 9, 2025Updated 7 months ago
- Stripped down versions of several archlinux packages, former name llvm-libs-debloated. [Maintainer=@Samueru-sama]☆14Updated this week
- set of ELF tools☆12Sep 1, 2015Updated 10 years ago
- A declarative and ergonomic internationalization for Rust using Fluent. Mirror of https://gitlab.archlinux.org/orhun/fluent-i18n☆19Sep 29, 2025Updated 5 months ago
- Tools for manipulating CHC and related files☆15Apr 21, 2023Updated 2 years ago
- Simplified shell reimplementation of containers — see also https://github.com/arachsys/containers☆13Jan 25, 2023Updated 3 years ago
- libudev-compatible interface for devd☆15Nov 18, 2024Updated last year
- A Coq development of the theory of Indexed W types with function extensionality.☆11Sep 13, 2017Updated 8 years ago
- Partial combinatory algebras and realizability interpretations of arithmetic, in Coq.☆13Mar 28, 2017Updated 8 years ago
- A portable linker for multiple file formats.☆13Aug 28, 2023Updated 2 years ago
- A source-based Linux distribution with an unwavering adherence to the UNIX philosophy☆10Oct 28, 2022Updated 3 years ago
- A generic Either type implementation for Rust☆14Jan 4, 2023Updated 3 years ago
- Aggressive MCTS chess engine.☆15Updated this week
- WebSocket server implementation of OCaml☆14May 14, 2019Updated 6 years ago
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- Linux fork of FreeBSD crunch☆17Jan 30, 2012Updated 14 years ago