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
a language server implementation for systemd unit files made 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)
Various materials about Profile Guided Optimization and other similar stuff like AutoFDO, Bolt, etc.
Design a full DOF humanoid robot for research use incrementally, halving the cost until the BOM is $1000.
Coroot is an open-source observability and APM tool with AI-powered Root Cause Analysis. It combines metrics, logs, traces, continuous profiling, and SLO-based alerting with predefined dashboards a…