Stars
A ground-up rebuild of the stock gridfinity bins in OpenSCAD
turn comed's hourly pricing data into prometheus metrics
This repo provides material for recreating the famous paper by Jean-Pierre Luminet (1979), simulating the first image of a Schwarzschild black hole.
Reduce the burden of mathematics when playing OpenSCAD
Haptic input knob with software-defined endstops and virtual detents
A technical explainer by @kognise of how your computer runs programs, from start to finish.
Enhancing the Factorio experience with SAT solvers
😸 Soothing pastel theme for the high-spirited!
GitHub repository containing highest quality Nix/NixOS content
This project will compile verilog (a hardware description language) into factorio blueprints.
x86 PC emulator and x86-to-wasm JIT, running in the browser
This repo contains a version of clang that is being modified to support Checked C. Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe.
Assert your Go code is inlined and bounds-check eliminated
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
Anime Girls Holding Programming Books
A Fully Homomorphic Encryption Brainfuck virtual machine
We all know Rust's trait system is Turing complete, so tell me, why aren't we exploiting this???
A C++ compile-time math library using generalized constant expressions
Simple animated GIF screen recorder with an easy to use interface