Starred repositories
1694
results
for source starred repositories
Clear filter
DR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers
The financial transactions database designed for mission critical safety and performance.
Validate semantic equivalence between C++ and Rust LLVM IR using State-Of-The-Art Verification
A Julia implementation of choice sequence based PBT, inspired by Hypothesis
📚 A curated list of papers for Software Engineers
Formalization of Algorithmic Information Theory in Lean 4
Bibliography of formalization/mechanization related mathematical logic
Sloc, Cloc and Code: scc is a very fast accurate code counter with complexity calculations and COCOMO estimates written in pure Go
Prototype of a fuzzer for Julia based on concolic execution
Optimize Julia Functions With MLIR and XLA for High-Performance Execution on CPU, GPU, TPU and more.
The Agda Universal Algebra Library (html docs available at the url below)
x86CSS is a working CSS-only x86 CPU/emulator/computer. No JavaScript required.
Cuq: A MIR-to-Coq Framework Targeting PTX for Formal Semantics and Verified Translation of Rust GPU Kernels
Interpreter for the 5 dimensional multiverse time traveling brainfuck extension!
A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.
A project to digitalise results from physics into Lean.
A bridge between Matrix and multiple project management services, such as GitHub, GitLab and JIRA.
A rclcpp-compatible true zero-copy IPC middleware that supports all ROS message types, including message structs already generated by rosidl.
Graphs verified from first principles in Verus.