Euler Yet another proof Engine
Plan execution language and executive
A C++ library for AVR and NodeMCU
The UEA sRNA Workbench
System for anonymous Web browsing
A lexical analyzer generator that makes the class source code.
Just bring Linux for a better world
Best in class SoC Integration Platform, IP-XACT, Verilog VHDL, UPF
ALFOUR Programming language. Simple, safe, power, multi-platform.
parser of string expressions
Small lightweight program to customize your keyboard
Single sided linked list (kind of lib with test-code, C, C++ and java)
Machine graph audio engine for computer games
Axel-DICE Code Editor For Windows,Linux
A Java-based cross-platform build system.
Premium Markets is an automated financial technical analysis system.
C++ embedded RTOS,TCP/IP,TLS,FAT,USB,PERIPHERALS,...