A virtual machine image based on Linux Mint 20.1
libPGF is an implementation of the Progressive Graphics File (PGF)
Win flex-bison is a port Flex & Bison tools to the Windows platform
Mixed Integer Linear Programming (MILP) solver.
polyglot language framework to analyze genetic data
Java language binding for the GNU Linear Programming Kit (GLPK)
Vector drawing program for LaTeX using PSTricks
Management of source code quality is possible.
AVR simulator IDE
Java5 mobile agents in peer2peer containers without stubs/skeletons.
GUI for finding duplicates in source files
Tao3D is a programming language for real-time interactive 3D
API for tracking the global coronavirus (COVID-19, SARS-CoV-2)
Implements the stable model semantics without grounding.
Relational Database Management System
Parallel simulators for Membrane Computing on the GPU