An easy to use and powerful chaos engineering experiment toolkit
The easy and open way to build serverless applications
A source code analyzer
Multi-language code formatter with automatic language detection
The pure asynchronous runtime for Scala
Scalable PaaS (automated Docker+nginx), aka Heroku on Steroids
TLC is an explicit state model checker for specifications in TLA+
A code generator for connecting C/C++ with other programming languages
Source code to formatted text converter
Desktop search application
Lightweight, quick reference tool for Java developers.
A decompiler for Lua 5.x
Parser generator to read, process, or translate structured text
jEdit is a programmer's text editor written in Java.
A powerful, feature-rich Markdown editor with real-time HTML preview.
Visual Automation IDE β automate anything you see on screen
A generator of DTO, Model, and DAO classes to access relational DB
Complete Collection of 151 Problems
Open Source C/C++/Java libraries from Unicode