-
bedrock2 Public
Forked from mit-plv/bedrock2A work-in-progress language and compiler for verified low-level programming
Coq MIT License UpdatedAug 11, 2024 -
coqutil Public
Forked from mit-plv/coqutilCoq library for tactics, basic definitions, sets, maps
Coq MIT License UpdatedJun 5, 2024 -
-
-
-
-
-
prusti-dev Public
Forked from viperproject/prusti-devA static verifier for Rust, based on the Viper verification infrastructure.
Rust Other UpdatedJul 28, 2023 -
-
silver Public
Forked from viperproject/silverDefinition of the Viper intermediate verification language.
Scala Mozilla Public License 2.0 UpdatedJul 13, 2023 -
aoc-lang Public
Solutions to Advent of Code problems in various languages
Rust MIT License UpdatedJul 11, 2023 -
viper-tutorial Public
Forked from viperproject/tutorialThis repo contains the sources of the official Viper tutorial (http://viper.ethz.ch/tutorial). Feel free to submit your fixes and additions via pull requests. Please report technical issues via the…
UpdatedApr 2, 2023 -
-
-
JMM-Explorer Public
Lists executions of multithreaded Java program snippets that are legal according to the Java Memory Model
-
-
-
-
structs Public
Mathematical structures and their relationships.
C++ MIT License UpdatedSep 10, 2021 -
-
-
sub-per-networks Public
My implementation of substitution-permutation networks and not-so-advanced attacks on them.
C++ MIT License UpdatedFeb 24, 2021 -
struct-catalogue Public
Catalogue of various types of commutative rings.
C++ MIT License UpdatedFeb 17, 2021 -
-
-
-
-
GravitySimulator Public
An Android app (available on Google Play) that simulates the Force of Gravity for user defined objects
Java UpdatedAug 29, 2017 -
-