Lists (5)
Stars
Convert ansi escaped text streams to html.
Trying to find the highest-scoring Boggle board with a mix of C++ and Python
An extremely fast Python type checker and language server, written in Rust.
C++ cross-platform wrapper around dynamic loading of shared libraries (dll, so, dylib)
Official git repository for libdivide: optimized integer division
NVIDIA curated collection of educational resources related to general purpose GPU programming.
A publishing platform for apps developed by the Tidbyt community 🚀
Sports logos encoded in base64 format, suitable for displaying on small pixel displays.
Standards first web framework taking HTML, CSS, JS, and WASM to their peak
DiffSharp: Differentiable Functional Programming
🧟 Inject bugs and see if your tests catch them!
A statically typed programming language for scientific computations with first class support for physical dimensions and units
Exocompilation for productive programming of hardware accelerators
Controlling up to three chains of 64x64, 32x32, 16x32 or similar RGB LED displays using Raspberry Pi GPIO