-
charon Public
Forked from AeneasVerif/charonInterface with the rustc compiler for the purpose of program verification
Rust Apache License 2.0 UpdatedSep 11, 2026 -
hax Public
Forked from AeneasVerif/haxFork of cryspen/hax
OCaml Apache License 2.0 UpdatedSep 12, 2025 -
aeneas Public
Forked from AeneasVerif/aeneasA verification toolchain for Rust programs
OCaml Apache License 2.0 UpdatedJul 19, 2025 -
eurydice Public
Forked from AeneasVerif/eurydiceEurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
OCaml Apache License 2.0 UpdatedJul 19, 2025 -
rust Public
Forked from rust-lang/rustEmpowering everyone to build reliable and efficient software.
Rust Apache License 2.0 UpdatedJun 28, 2025 -
-
this-week-in-rust Public
Forked from rust-lang/this-week-in-rustData for this-week-in-rust.org
HTML UpdatedJul 26, 2024 -
dqg Public
Working repository for a research project about Descriptive Quotient Graphs (cf. https://www.ijcai.org/Proceedings/15/Papers/212.pdf).
-
predator Public
Forked from kdudka/predatorA Shape Analyzer Based on Symbolic Memory Graphs
C GNU General Public License v3.0 UpdatedFeb 28, 2024 -
isariris Public
An experimental port of the Iris separation logic framework to Isabelle/HOL. This work is developed as part of a Master's thesis.
-
agda-setup Public
A simple tutorial for setting up Agda with VSCode Dev Containers, including a minimal container containg Agda.
-
isabroom Public
Isabelle formalization of the logic behind [Broom](https://pajda.fit.vutbr.cz/rogalew/broom).
Isabelle UpdatedSep 16, 2022 -
ssl Public
An Isabelle/HOL formalization of strong separation logic.
Isabelle MIT License UpdatedJun 25, 2022 -
-
chalk Public
Forked from rust-lang/chalkAn implementation and definition of the Rust trait system using a PROLOG-like logic solver
Rust Other UpdatedSep 25, 2021 -
sequent-solver Public
An automated sequent calculus solver for Isabelle.
Standard ML MIT License UpdatedMay 8, 2021 -
nauty-Traces-sys Public
Forked from a-maier/nauty-Traces-sysRust bindings for nauty and Traces
Rust UpdatedApr 29, 2021 -
-
SepLogFrag Public
Formalisation of the Decidable Fragment of Separation Logic. Submission for a homework contest. Supposed to work with Isabelle2020. Related to https://github.com/firefighterduck/alice_rs .
-
rust-forge Public
Forked from rust-lang/rust-forgeInformation useful to people contributing to Rust
Rust Apache License 2.0 UpdatedNov 21, 2020 -
alice_rs Public
Alice_rs is a small proof-of-concept reference implementation of a decision procedure for A Decidable Fragment of Separation Logic.
-
random-quote Public
Forked from TheMC47/random-quotePicking random quotes
Haskell MIT License UpdatedNov 15, 2020 -
gb_checker Public
A simple program checking if someone from a given list has birthday.
Rust UpdatedSep 21, 2020
{{ message }}