TLC is an explicit state model checker for specifications in TLA+
This repository consists of the code samples, assignments, and notes
Desktop search application
Parser generator to read, process, or translate structured text
Machine learning software to solve data mining problems
A Discord music bot that's easy to set up and run yourself
A decompiler for Lua 5.x
jEdit is a programmer's text editor written in Java.
A powerful componentized framework
AI Powered Open Source Platform to Easily Build Enterprise Web Apps
Visual Automation IDE — automate anything you see on screen
Tool support for the Z formal notation
Open Source C/C++/Java libraries from Unicode
NGSEP (Next Generation Sequencing Experience Platform)
Automatic frontend engine for Java
Machine graph audio engine for computer games