TLC is an explicit state model checker for specifications in TLA+
Build reactive applications with the Rails tooling you already know
Practical samples of ASP.NET Core 10 RC
Apache Log4net is a versatile, feature-rich, efficient logging API
dockerd as a compliant Container Runtime Interface for Kubernetes
Package ini provides INI file read and write functionality in Go
Async MySQL Connector for .NET and .NET Core
A well configured and structured Neovim
An elegant Material-Design theme for Hexo
Conda environment and package management extension from within Jupyter
A documentation generator for Julia
Open Source CRM based on Django
completely free for everyone. Its build-in Flutter Dart
Automate Kubernetes Configuration Editing
TypeScript ORM for Node.js based on Data Mapper, Unit of Work
A web-based user interface built on top of Ansible
MyBatis SQL mapper framework for Java
An open-source C++ library developed and used at Facebook
A command line tool for cleaning unused resources in Xcode
A collection of learning resources for curious software engineers
A custom RPC framework implemented by Netty+Kyro+Zookeeper
Auditing for TLS certificates (Go code)
A formatter for Python files
iOS interview questions
Generate static html documentation for an R package