Simple and Distributed Machine Learning

Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc

TransmogrifAI (pronounced trăns-mŏgˈrə-fī) is an AutoML library for building modular, reusable, strongly typed machine learning workflows on Apache Spark with minimal hand-tuning

Compiler for the Vale programming language - http://vale.dev/

Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.

Linter component for Isabelle.