A lightweight keyboard for Android

2D vector & raster editor that melds traditional layers & tools with a modern node-based, non-destructive, procedural workflow.

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 that change what the buttons do 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

Cross-platform window management and OS integration library for Java