Lists (6)
Stars
The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based run-time system)
Hazel, a live functional programming environment with typed holes
The Ott tool for writing definitions of programming languages and calculi
Interface with the rustc compiler for the purpose of program verification
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
Deadline countdowns for academic conferences in Security and Privacy
⏰ PL conference deadline countdowns
ntype cafe summer school resources
My personal repository of formally verified mathematics.
a model of MIR and the Rust type/trait system
A massively parallel, high-level programming language
Python script to manage a Sony DPT-RP1 without the Digital Paper App
secure-rewind-and-discard / secure-rewind-and-discard
Forked from EricssonResearch/secure-rewind-and-discardMirror of SDRaD Library
A precise specification for "Rust lite / MIR plus"
An interpreter for Rust's mid-level intermediate representation
Creusot helps you prove your code is correct in an automated fashion.
[mirror of https://gitlab.com/veloren/veloren] An open world, open source voxel RPG inspired by Dwarf Fortress and Cube World. This repository is a mirror. Please submit all PRs and issues on our G…
Logical manifestations of topological concepts, and other things, via the univalent point of view.
Fancy extension for std::error::Error with pretty, detailed diagnostic printing.
vime, an easy and structural config for (neo)vim users