Stars
A game for learning Lean 4 where a cute little smart-elf joins you on your exploration of the Leaniverse.
Raku package with descriptions and data of different games amenable for Game Theory experiments and studies.
Raku package with number theory functions.
Calculator using RAku Grammars, for the command line
Lightweight annotation system in Emacs
A collection of opinionated keyboard-driven user interfaces for various built-in Emacs modes.
A fork of plan9's acme that changes the behaviour of some of the keys.
ripgrep recursively searches directories for a regex pattern while respecting your gitignore
Inferno® is a distributed operating system. Inferno represents services and resources in a file-like name hierarchy, including devices, network and protocol interfaces, dynamic data sources, and se…
The most powerful local music generation model that outperforms almost all commercial alternatives, supporting Mac, AMD, Intel, and CUDA devices.
Simple, elegant, Pythonic functional programming.
Technical Analysis Indicators - Pandas TA Classic is an easy to use Python 3 Pandas Extension with 200+ Indicators and Candlestick Patterns
Curated list of references for development of DOS applications.
A small 16-bit Forth operating system for the x86.
Personal proof-of-concept Termux-based Android launcher, built from Termux-Monet + TEL ideas.
CasNum (Compass and straightedge Number) is a library that implements arbitrary precision arithmetic using compass and straightedge constructions. Featuring a functional modified Game Boy emulator …