An HDL alternative to PCB graphical schematic capture tools.
Project has been move to https://github.com/ciaa/Firmware
Graph algorithms interpreter, IDE, debugger, 3D visualizations.
A Turing Machine Simulator
Python Framework for Multipurpose Server
proof verifier for mathematical proofs and documentation generator
clustering, machine learning, algorithms
C++ flow-based metaprogramming library
Central Software Configuration by Java API and SOAP Service
A library for monitoring the garbage collection of app objects
dimensionality-recursive vector quantization