Lists (2)
Stars
NOFX: Defining the Next-Generation AI Trading Operating System. A multi-exchange Al trading platform(Binance/Hyperliquid/Aster) with multi-Ai competition(deepseek/qwen/claude)self-evolution, and re…
A Machine-to-Machine Interaction System for Lean 4.
Python client to interact with the lean4 language server.
gpt-oss-120b and gpt-oss-20b are two open-weight language models by OpenAI
Best Claude Code framework that actually save time. Built by a dev tired of typing "please act like a senior engineer" in every conversation.
A simple interface to GPIO devices with Raspberry Pi
An interactive theorem prover for string diagrams
Fast as FUCK nvim completion. SQLite, concurrent scheduler, hundreds of hours of optimization.
Collections of awesome neovim plugins.
RustBoyAdvance-NG is a Nintendo™ Game Boy Advance emulator and debugger, written in the rust programming language.
A tool for inverting and color correcting scanned film negatives, achieved by simulating the process of analog enlargement..
A lightweight WebAssembly runtime that is fast, secure, and standards-compliant
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
Development repository for the Triton language and compiler
💥💻💥 A data-parallel functional programming language
An attempt at safe imperative GPU programming.
Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.
I speak only of myself since I do not wish to convince, I have no right to drag others into my river, I oblige no one to follow me and everybody practices his art in his own way.