raylib with a bit of bacon spice!

A lightweight keyboard for Android

Community-built comprehensive 2D content creation appplication for graphic design, digital art, and interactive real-time motion graphics powered by a node-based procedural graphics engine

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

htop - an interactive process viewer

A collection of RISC-V Vector (RVV) benchmarks to help developers write portably performant RVV code

Record and Replay Framework

An Android app to remap the buttons on your devices

An interpreter for a J-inspired language

Bindgen generated bindings for CBQN FFI

CBQN for Windows

Rust API for CBQN FFI

html

Run compilers interactively from your web browser and interact with the assembly

Some files with nasty names

Online REPL for BQN

VRoom! RISC-V CPU

Sorting with Singeli

High-performance, Reliable, and Parallel APL

Array language benchmarks

Robin Hood Sort, for uniform data

Notepad++ official repository

Java bindings for Skia

High-level interface for low-level programming

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

Audio library for BQN