Dynace object-oriented extension to C

RPN cli calculator

An HP48 rebuild for modern calculators

A practical user's guide for using newRPL on an HP 50g

a reboot of the x48 HP 48 emulator

Free, open source, a high frequency trading and market making backtesting and trading bot, which accounts for limit orders, queue positions, and latencies, utilizing full tick data for trades and o…

Markdown repo for notes on all things redteaming

Theorem proving in Lean

Tool for data extraction and interacting with Lean programmatically.

Tutorial on neural theorem proving

A curated list of awesome Plan9-related documents, libraries, and software

Red is a next-generation programming language strongly inspired by Rebol, but with a broader field of usage thanks to its native-code compiler, from system programming to high-level scripting and c…

Backend core needed for automated trading

freeCodeCamp.org's open-source codebase and curriculum. Learn math, programming, and computer science for free.