Agda is a dependently typed programming language
Kubernetes platform from Flant
eBPF based cloud-native load-balancer
Simple and easy go web micro framework
Generate files from docker container meta-data
A feature-rich event management system
WalletConnect Monorepo
Webpack plugin that runs typescript type checker on a separate process
Turn your ES5 code into readable ES6
Kick-start your C++! A template for modern C++ projects
Babel loader for webpack
UI library by WeChat design team
The fast all-in-one Node.js toolkit
Command-line tool for Drive, Gmail, Calendar, Sheets, Docs, Chat, etc.
C# custom implementation for Discord Rich Presence
Ultra fast and expressive template engine
OmniSharp server (HTTP, STDIO) based on Roslyn workspaces
Cloud Dataflow Google-provided templates for solving data tasks
Ready-to-run Docker images containing Jupyter applications
Fast, portable, non-Turing complete expression evaluation
Feature-rich interactive Jira command line
A lightweight, framework-agnostic database migration tool
Fast C++ logging library
Open source feature flagging and remote config service
Best practices checker for Ansible