Stars
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 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…
pprof is a tool for visualization and analysis of profiling data
language server for systemd unit files - embedded documentation + complete LSP implementation in rust.
✨ 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
A web tool to explore the ASTs generated by various parsers.
A bare metal programming guide (ARM microcontrollers)