TLC is an explicit state model checker for specifications in TLA+
A classic Forum Software in Python using Flask
Validate and auto-generate TypeScript types from raw SQL queries
Bleeding edge django template focused on code quality and security
NG-ZORRO admin panel front-end framework
Snippet solution for Vim
A collection of learning resources for curious software engineers
A custom RPC framework implemented by Netty+Kyro+Zookeeper
An event-driven asynchronous network application framework
The Reactive Extensions for Dart
A native Rust UI library with fine-grained reactivity
Gideros Release version
(Golang) Go bindings for Discord
The BBC's Open Source Single Page Application
Complete PHPDocs, directly from the source
Android Permissions Framework, Adapt to Android 16
A command-line utility for taking automated screenshots of websites
Fully typesafe Router for React (and friends) w/ built-in caching
Cross-platform asynchronous I/O
Confluent's Apache Kafka .NET client
A declarative JavaScript library for building user interfaces
strip output from Jupyter and IPython notebooks
A Ruby gem to load environment variables from `.env`
A small, expressive orm, which supports postgresql, mysql and sqlite
A practical functional library for JavaScript programmers