Stars
A command line tool for extracting machine learning ready data from software binaries powered by Radare2
heuristically and dynamically sample (more) uniformly from large decision trees of unknown shape
Source code of Ferrocene, safety-critical Rust toolchain
cgmemtime measures the high-water RSS+CACHE memory usage of a process and its descendant processes.
A modern Wine wrapper for macOS built with SwiftUI
Linear algebra foundation for the Rust programming language
Multi-language Analyze text in 26 Cantonal Swiss German, Italian, German, Chinese (simplified), French, Italian. pply natural language understanding (NLU) to their applications with features includ…
A tool used to test the Dawn and wgpu WebGPU APIs, and their respective WGSL compilers Tint and naga, by inputting WGSL code and validating outputs.
A rehost of the python version of SPArse Modeling Software (SPAMS)
A visualization of the connections between Tory politicians and companies being awarded government contracts during the pandemic.
Lean 4 programming language and theorem prover
A genetic algorithm toy project for drawing
🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧