TLC is an explicit state model checker for specifications in TLA+
SQL DSL (Domain Specific Language) for Kotlin and Java
Framework on top of spring-boot that helps create back-ends
Proxy: Next Generation Polymorphism in C++
Examples for the usage of LaTeX
OWASP Coraza WAF is a golang modsecurity compatible firewall library
Framework for application developers to use state machine concepts
Source code to formatted text converter
A source code analyzer
The pure asynchronous runtime for Scala
A code generator for connecting C/C++ with other programming languages
the java game and entertainment runtime
jEdit is a programmer's text editor written in Java.
Learn Java the easy way!
A decompiler for Lua 5.x
Tool support for the Z formal notation
Arianne is an engine to develop multiplayer online games like Stendhal
Open Source C/C++/Java libraries from Unicode
java bean / database driven zero code application framework
Java persistence using JDO, JPA or REST