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

a language server implementation for systemd unit files made 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

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…