The main Oolite repository.

Efficient reliable UDP unicast, UDP multicast, and IPC message transport

An operating system written in Common Lisp

Functional programming language for signal processing and sound synthesis

minimal cross-platform standalone C headers

A Screenshot Testing service to tie with your existing Android, iOS and Web screenshot tests

A complete and cross-platform game engine designed for flexibility, performance, and fast-iterations.

Seer - a gui frontend to gdb

🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.

An interactive TLS-capable intercepting HTTP proxy for penetration testers and software developers.

egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native

Pony is an open-source, actor-model, capabilities-secure, high performance programming language

A visualization grammar.

A multi core friendly rigid body physics and collision detection library. Written in C++. Suitable for games and VR applications. Used by Horizon Forbidden West and Death Stranding 2.

a language for fast, portable data-parallel computation

A ClojureScript framework for building user interfaces, leveraging React

C-based/Cached/Core Computer Vision Library, A Modern Computer Vision Library

Optimize floating-point expressions for accuracy

ACL2 System and Books as Maintained by the Community

Geometry Engine, Open Source

Binary releases for SBCL

Reviving the language that brought us the Jak & Daxter Series

LAPACK development repository

Open Source codebase of the game Overgrowth by Wolfire Games LLC

Check syntax in Vim/Neovim asynchronously and fix files, with Language Server Protocol (LSP) support

A GDB frontend for Lïnux.

🐶 Automated code review tool integrated with any code analysis tools regardless of programming language

✨ Making your shell magical

Abseil Common Libraries (C++)

Cryptol: The Language of Cryptography