Euler Yet another proof Engine
LIXA, LIbre XA, is a free and open source XA transaction manager
Best in class SoC Integration Platform, IP-XACT, Verilog VHDL, UPF
IEEE LRM compliant System Verilog Parser in Java with Python, Tcl API
A C++ library for AVR and NodeMCU
Translates state machine into a target programming language.
MadEdit-Mod is a cross platform Text/Hex editor based on MadEdit
Axel-DICE Code Editor For Windows,Linux
China's first CTFTools framework
This is the REAL PutinCoin cryptocurrency project!
Computation and Visualization environment
Software Unit Tests (Language Independent Approach)
Mouse/keyboard record/replay and automation hotkeys/macros creation
Support variant based Java program execution, adapted to support MDE.
A code rewrite tool for structural search and replace that supports
Mini-Apps for free download
Open source tool that improves identification of vulnerabilities
A Deep-Learning-Based Chinese Speech Recognition System
ZHSoftware
open source client management system, software deployment