ACL2 System and Books as Maintained by the Community

💻 Get seamless remote access to any Linux device. Centralized SSH for the edge and cloud computing

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

Command-line tool from the Alire project and supporting library

Parsing gigabytes of JSON per second. Zig port of simdjson with fundamental features.

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

TaskJuggler - Project Management beyond Gantt chart drawing

GopherLua: VM and compiler for Lua in Go

C++ 17 based library (with sample applications) for testing equities, futures, currencies, etfs & options based automated trading ideas using DTN IQFeed real time data feed and Interactive Brokers …

LLM inference in C/C++

A Go SDK for Binance API

The MLton repository

A blockchain for trust-free markets in financial derivatives

A simple header-only C++ argument parser library. Supposed to be flexible and powerful, and attempts to be compatible with the functionality of the Python standard argparse library (though not nec…

💻 C++ Functional Terminal User Interface. ❤️

Go bindings for webview using purego, with no CGO.

a statically typed lisp, without a GC, for high performance applications

mal - Make a Lisp

Common Lisp editor/IDE with high expansibility

C++14 lock-free queue.

The QuantLib C++ library

Stored Procedures for SQLite

Indicator Go delivers a rich set of technical analysis indicators, customizable strategies, and a powerful backtesting framework. No dependencies, just pure simplicity. ✨ See how! 👀

A powerful little TUI framework 🏗

Visualize the time packets spend in the kernel, watch & analyze in command line.