Euler Yet another proof Engine
LIXA, LIbre XA, is a free and open source XA transaction manager
A C++ library for AVR and NodeMCU
Translates state machine into a target programming language.
Axel-DICE Code Editor For Windows,Linux
China's first CTFTools framework
Android developers should collect the following utils(updating)
Software Unit Tests (Language Independent Approach)
Support variant based Java program execution, adapted to support MDE.
A code rewrite tool for structural search and replace that supports
ZHSoftware
Converts a Java program to the equivalent Python program
Framework for Systems Biology
Java libraries for writing composable microservices
ByteX is a bytecode plugin platform based on Android Gradle Transform
ClojureScript compilation made easy
Companion Android application for EdXposed
Test Automation Management Tool
An Android library that prevents your app from being pirated
Framework for assisting in the renovation of Android componentization
Mirror of the TA-Lib project using a Git repository