trumae

acl2

ACL2 System and Books as Maintained by the Community

bubbletea

A powerful little TUI framework 🏗

ccl

Clozure Common Lisp

ccxt

A JavaScript / Python / PHP cryptocurrency trading API with support for more than 120 bitcoin/altcoin exchanges

cl-prevalence

In memory database system for Common Lisp

cli

A library for interactive command line interfaces in modern C++

ecal

📦 eCAL - enhanced Communication Abstraction Layer. A high performance publish-subscribe, client-server cross-plattform middleware.

glaze

Extremely fast, in memory, JSON and interface library for modern C++

gmx-contracts

IXWebSocket

websocket and http client and server library, with TLS support and very few dependencies

luaaa

C++ to LUA binding tool in a single header file.

mactop

mactop - Apple Silicon Monitor Top written in pure Golang! Under 1,000 lines of code.

Maude

Language based on Rewriting Logic

micro

A modern and intuitive terminal-based text editor

mongoose

Embedded Web Server

mosml

Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.

MS-DOS

The original sources of MS-DOS 1.25 and 2.0, for reference purposes

quill

Asynchronous Low Latency C++ Logging Library

RayTracer

Ray Tracer in 483 bytes (x86 boot sector)

robotgo

RobotGo, Go Native cross-platform GUI automation

sc-im

sc-im - Spreadsheet Calculator Improvised -- An ncurses spreadsheet program for terminal

smlnj

Standard ML of New Jersey

starlark-go

Starlark in Go: the Starlark configuration language, implemented in Go

td

Cross-platform library for building Telegram clients

telebot

Telebot is a Telegram bot framework in Go.

termui

Golang terminal dashboard

turbo

An experimental text editor based on Scintilla and Turbo Vision.

uadmin

The web framework for Golang

uWebSockets

Simple, secure & standards compliant web server for the most demanding of applications

xmake

🔥 A cross-platform build utility based on Lua