Digital logic design tool and simulator

Barcode scanner library for Android, based on the ZXing decoder

signal-cli provides an unofficial commandline, JSON-RPC and dbus interface for the Signal messenger.

Graphical Java application for managing BibTeX and BibLaTeX (.bib) databases

Synthetic Patient Population Simulator

Experimental optical character recognition app

Distributed Systems Labs and Framework

Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switch…

A simple and highly efficient RTS-game-inspired environment for reinforcement learning

Industry supported, open source PDF/A validation library

Surveillance Detection and Mapping App

Java OCR allows you to perform OCR and bar code recognition on images (JPEG, PNG, TIFF, PDF, etc.) and output as plain text, xml with full coordinate as well as searchable PDF

jSMTLIB is an open source implementation of SMT-LIB in Java, as a command-line tool, an Eclipse plugin, and an API, with interfaces to many SMT solvers.

An exercise in programming language design and implementation.

Java and Javascript HIBC decoder