Stars
Open source comprehensive 2D content creation tool suite for graphic design, digital art, and interactive real-time motion graphics — featuring node-based procedural editing
Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name …
Automatic verification of LLVM optimizations
A collection of RISC-V Vector (RVV) benchmarks to help developers write portably performant RVV code
An Android app to remap the buttons on your devices
Run compilers interactively from your web browser and interact with the assembly
Notepad++ official repository
A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.
A derivative approach to finding your way in BQN