Xv6 for RISC-V

ONNX neural network inference engine

A command-line benchmarking tool

A very fast linker for Linux

A solution to visualize and explore 3D models in your browser.

how to optimize some algorithm in cuda.

An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.

A STEP toolkit for Rust

A playground to tinker with UTF-8 encoding

A build-time information stored in your rust project.(binary,lib,cdylib,dylib,wasm)

stb single-file public domain libraries for C/C++

Rust cache structures and easy function memoization

PGM-Index is a space-efficient data structure for fast lookup in sorted sequences. It approximates the distribution of keys with piecewise linear models, allowing searches in O(log ε) with a guaran…

Gimp plugins for use with ComfyUI

Unix pipes between devices

pprof is a tool for visualization and analysis of profiling data

language server for systemd unit files - embedded documentation + complete LSP implementation in rust.

Damek Davis' Academic Website

✨ Build a machine learning model from a prompt

Tabler is free and open-source HTML Dashboard UI Kit built on Bootstrap

Convert vector graphics to g-code for pen plotters, laser engravers, and other CNC machines

Browser-based visual programming language and platform for sound synthesis.

🪄 Create rich visualizations with AI

Rust high performance xml reader and writer

A web tool to explore the ASTs generated by various parsers.

A bare metal programming guide (ARM microcontrollers)

Microarchitecture diagrams of several CPUs