Automated Error Analysis of Numerical Software for High-Consequence Systems

Consumer grade GIS software

mini shell for esp32

toy subtractive synth for esp32/Mac/web

Embedded Rust device crates for STM32 microcontrollers

x11-calc

Curses-based RPN calculator

Android R47 RPN Calculator

Get Android app updates straight from the source.

precision color scheme for multiple applications (terminal, vim, etc.) with both dark/light modes

Library providing printf-style formatted output routines with tex-like syntax support.

An agent-managed museum exhibit, built in Rust with Gajae-Code / LazyCodex — developed and maintained with no human intervention.

This project is a Graphing Scientific Calculator based on the ESP32 microcontroller, designed to compete with commercial models (Casio fx-991EX, TI-84) by means of a color TFT screen, natural displ…

Tools and scripts for running Linux on HP Prime calculator

Dockerfiles for the various software layers defined in the ROCm software platform

Shell script for piping things in and out of Emacs buffers

Powerful system-level package manager for Linux, macOS and Windows written in Rust – building on top of the Conda ecosystem.

Interactive data visualizations and plotting in Julia

An algebraic spin on grammar-of-graphics data visualization in Julia. Powered by the Makie.jl plotting ecosystem.

Chemical equation balancer and molar mass calculator for the HP Prime graphing calculator

The eXtended RPN programming language

An introduction to theorem proving in Lean for the impatient.

The math library of Lean 4

c3d/db48x fork

Android Port of the Swissmicros R47 calculator

A CLI utility for COSMIC Wayland toplevel and workspace management

Minimal CLI coding agent by Mistral

open-source coding agent