-
prusti-dev Public
Forked from Aurel300/prusti-devA static verifier for Rust, based on the Viper verification infrastructure.
Rust Other UpdatedJan 5, 2026 -
-
-
-
borrowck Public
Fork of the Rust borrow checker for exposing certain functions
Rust UpdatedJun 27, 2025 -
-
-
rust-pcg-evaluation Public
I have to fork the rust compiler to change one line
Rust Other UpdatedFeb 25, 2025 -
-
silicon-gv Public
Forked from gradual-verification/silicon-gvScala Mozilla Public License 2.0 UpdatedDec 23, 2024 -
-
-
-
maglev Public
Forked from ergor/hsrailsSpigot/bukkit plugin to make minecarts worth building again
Java GNU General Public License v3.0 UpdatedJul 26, 2024 -
silver-gv Public
Forked from gradual-verification/silver-gvDefinition of the Viper intermediate verification language.
Scala Mozilla Public License 2.0 UpdatedJul 25, 2024 -
reachability-fun Public
WIP implementation of a reachability type checker
Haskell MIT License UpdatedJun 6, 2024 -
-
tinyvalidator Public
Symbolic executor for a C-like language
-
Odin Public
Forked from odin-lang/OdinOdin Programming Language
Odin BSD 3-Clause "New" or "Revised" License UpdatedNov 5, 2022 -
-
-
-
-
DocMachine Public
VSCode extension for on the fly documentation generation
-
DynEconomy Public
Spigot plugin that regulates money supply based on Towny data
Java MIT License UpdatedDec 6, 2021
{{ message }}