Proof Logic : A logical framework for theorem proving
Perl extension for the GNU Readline/History Library
Public files of alphabit.org domain
Mixed Integer Linear Programming (MILP) solver.
MongoEngine flask extension with WTF model forms support
The civilized way to write REST API clients for iOS / macOS
CAM XML Editor for XML+JSON+Hibernate+SQL Open-XDX sponsored by Oracle
A pure Java JDBC driver for Microsoft Access database files
A command-line DNS client
NativeScript plugin for Firebase
Command line utilities for Windows
Dumbarton is a Jekyll Theme developed by Tyler Butler
An Android library that prevents your app from being pirated
A resource to figure out what JavaScript array method would be best
Simple and powerful java ORM for sqlite database
A collection of pure bash alternatives to external processes
Code editor and real-time QR code generator for QPython
Jupyter notebooks that demonstrate how to build models using SageMaker
Java language binding for the GNU Linear Programming Kit (GLPK)
Framework for assisting in the renovation of Android componentization