Proof Logic : A logical framework for theorem proving
XPL Compiler for Intel 486 in 32-bit mode
Remote Scrum Communication & Collaboration Suite :: Scrum Board & co
A Laravel-Nuxt starter kit
Garnet Common Lisp GUI Library
Public files of alphabit.org domain
Pointer Lock for Java AWT/Swing
Neural Networks Collection
Development of useful third-party libraries for use with SDL 2.0
A tool for encoding/decoding to base62
A package for functional annotation for metagenomes
Vector drawing program for LaTeX using PSTricks
A Reproducible Data Analysis Workflow with R Markdown, Git, Make, etc.
Incremental merge for git
A framework that is meant to make your life easier
Command-line tool specifically designed to deal with CSV data
A Vue CLI 3+ preset (previously a Vue CLI 2 boilerplate)
Binary Diff and Undiff Utility
JWL - The JavaScript Widget Library
Speedment is a Stream ORM Java Toolkit and Runtime
Open source interface management tool
Modeling tool supporting UML, BPMN and other standards
Arch Linux Installer ISO