A cross-platform, portable, linkable Git implementation library
A whole-program optimizing compiler for Standard ML
Binary Modular DataFlow Machine (BMDFM)
Cross Platform GUI Toolkit
An advanced cross platform fuzzing framework suited to find code bugs.
A system for computer algebra and symbolic mathematics
Microscopic AGI framework.
Enseñanza programación estructurada concurrente español inicial
A simple C++ socket library used to make socket programming tolerable.
Containment Domains are a framework for computational resiliency
A command line utility for common string functions
Lexical, grammatical and syntactic analyzer of C÷÷.