Euler Yet another proof Engine
The allRound pocket sized CodeEditor.
Free Lock Manager
LIXA, LIbre XA, is a free and open source XA transaction manager
A C++ library for AVR and NodeMCU
Cross-platform C++ library for use as a default application framework.
Automate: WebSphere; WebLogic; JBoss; Glassfish; Tomcat; Linux, WinRM
A large open dataset + tools to speed up MRI scans using ML
Implementations and code to accompany DeepMind publications
Translates state machine into a target programming language.
Build and deploy machine learning microservices
Petastorm library enables single machine or distributed training
Software Unit Tests (Language Independent Approach)
ZHSoftware
Based on a true story
Easily build, backtest and deploy your algo in just a few lines
Transform ML models into a native code
A flexible and efficient library for deep learning
Converts a Java program to the equivalent Python program
Framework for Systems Biology
For building machine learning (ML) workflows and pipelines on AWS