App observability facade for the most popular observability tools
TLC is an explicit state model checker for specifications in TLA+
Proxy: Next Generation Polymorphism in C++
Framework for application developers to use state machine concepts
A small, fast, pure JavaScript type-stripper
Fluent assertions for Java and Android
Gideros Release version
SQL DSL (Domain Specific Language) for Kotlin and Java
A free C, C++ and Fortran IDE
Search and select country or international phone code
A Forth compiler with a little difference
Translates state machine into a target programming language.
The fast scanner generator for Java™ with full Unicode support
A code generator for connecting C/C++ with other programming languages
Rapid applications development tool and libraries for FPC
Common Lisp compiler and runtime
Learn Java the easy way!
A source code analyzer
A software construction tool
A decompiler for Lua 5.x