a fast, scalable, multi-language and extensible build system

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

A Discrete Fourier Transform (DFT), a Fast Wavelet Transform (FWT), and a Wavelet Packet Transform (WPT) algorithm in 1-D, 2-D, and 3-D using normalized orthogonal (orthonormal) Haar, Coiflet, Daub…

Smart glasses software framework. Write 1 app that runs on any pair of smart glasses.

SARL Agent-Oriented Programming Language http://www.sarl.io

Kodkod solver for relational logic

KeY Theorem Prover for Deductive Java Verification

Kidney paired donation optimization code

Official repository for CoTran: An LLM-based code translator for whole-program translation, fine-tuned using feedback from compiler and symbolic execution

Example app for the SmartGlassesManager. Overlays your car's speed and engine RPM on your smart glasses.

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

a fast, scalable, multi-language and extensible build system