TLC is an explicit state model checker for specifications in TLA+
A source code analyzer
The Free / Libre / Open Source Web App with the most built-in features
This repository consists of the code samples, assignments, and notes
Official Repo for ICML 2024 paper
Open Source Computer Vision Library
Cross-platform text and code editor
Common Lisp compiler and runtime
A high quality MP3 encoder
Create badass, fluid and smooth transitions between website’s pages
A barcode encoding library supporting over 50 symbologies.
A tool for learning programming basis with a simple spanish pseudocode
The Tool Command Language implementation
Rapid applications development tool and libraries for FPC
Sora AI Video Generator by Sora.FM
Static source code analysis tool for C and C++ code
A free and open source framework for building powerful 2D and 3D apps