Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.

Incremental computation through constrained memoization.

A fancy diagnostics & error reporting crate

Fancy extension for std::error::Error with pretty, detailed diagnostic printing.

A massively parallel, high-level programming language

A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.

A massively parallel, optimal functional runtime in Rust

METIS - Serial Graph Partitioning and Fill-reducing Matrix Ordering

A hypergraph partitioner, written in Rust

Interactive Graphviz Dot Preview for Visual Studio Code

RTL Verilog library for various DSP modules

MLIR For Beginners tutorial

Vitis HLS LLVM source code and examples

bloop is a fast code search engine written in Rust.

零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP

Concurrent decision diagram framework written in Rust

Logic circuit analysis and optimization

Implementation of logic function as lookup tables and sum of products

An Open-source FPGA IP Generator

A monitor of resources

EPFL Course - Optimization for Machine Learning - CS-439

A memory profiler for Linux.

Code and documentation to train Stanford's Alpaca models, and generate the data.

Anime Girls Holding Programming Books

allocscope - a memory tracking tool

Live Hardware Development (LiveHD), a productive infrastructure for Synthesis and Simulation

Haskell implementations of various ML algorithms.

A scalable High-Level Synthesis framework on MLIR