TLC is an explicit state model checker for specifications in TLA+
Java distributed tracing implementation compatible with Zipkin backend
Examples, server integrations for generating Swagger API Specification
Ruby programming language
Uber's cross-platform mobile architecture framework
The compiler for Teal, a typed dialect of Lua
Rakudo – Raku on MoarVM, JVM, and JS
iText for .NET is the .NET version of the iText library
Examples for the usage of LaTeX
Language for defining cloud service APIs and shapes
The Open Source Test Automation Platform
A small, fast, pure JavaScript type-stripper
Objeck is a modern object-oriented programming language
jOOQ is the best way to write SQL in Java
PeachPie, the PHP compiler and runtime for .NET and .NET Core
A runtime built for the 6model object system
TypeScript style guide, formatter, and linter
Functional Programming Library for C++
Set of numeric libraries for the Go programming language
The Scala 3 compiler, also known as Dotty
F# to JavaScript compiler
Collection of TypeScript type challenges with online judge
Identifies and prioritizes God Classes Highly Coupled classes
A programming language and an implementation of that language
Keep your code spotless