Stars
Final Year Masters Project: modal logic solver tableaux
model-checking / verify-rust-std
Forked from rust-lang/rustVerifying the Rust standard library
130nm BiCMOS Open Source PDK, dedicated for Analog, Mixed Signal and RF Design
A formal proof of the independence of the continuum hypothesis
An open source GPU based off of the AMD Southern Islands ISA.
A formalization of the RVWMO (RISC-V) memory model
A reading list for homomorphic encryption
Tile based architecture designed for computing efficiency, scalability and generality
Lightweight, minimalistic Zotero API client written in JavaScript.
A web-based collaborative LaTeX editor
METIS - Serial Graph Partitioning and Fill-reducing Matrix Ordering
Dataframes powered by a multithreaded, vectorized query engine, written in Rust
An incremental parsing system for programming tools
Rust library for walking directories recursively.
Prooftrees for Typst - Inspired by Latex's bussproofs
2D graphics rendering on the GPU in rust using path tessellation.
Subscribe to updates from people you follow, from any platform to any platform
Linux in the Windows Native Mode (chkdsk screen env)??
The fastest and most memory efficient lattice Boltzmann CFD software, running on all GPUs and CPUs via OpenCL. Free for non-commercial use.
High-performance high-order finite element solver for hyperbolic conservation equations
Git Source Code Mirror - This is a publish-only repository but pull requests can be turned into patches to the mailing list via GitGitGadget (https://gitgitgadget.github.io/). Please follow Documen…