Highlights
- Pro
Stars
- All languages
- Agda
- Assembly
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Cuda
- Cython
- Dart
- Elixir
- Erlang
- F*
- Go
- Groovy
- HCL
- HTML
- Hack
- Haskell
- Idris
- Inno Setup
- Java
- JavaScript
- Jinja
- Jsonnet
- Jupyter Notebook
- Lua
- MDX
- MLIR
- Makefile
- Mercury
- Nix
- PLpgSQL
- Pony
- PureScript
- Python
- Ruby
- Rust
- Scala
- Shell
- Svelte
- Swift
- TeX
- TypeScript
- Vala
- Vim Script
- Wren
- Zig
a fast, scalable, multi-language and extensible build system
The official home of the Presto distributed SQL query engine for big data
QuestDB is a high performance, open-source, time-series database
Open source alternative to Auth0 / Firebase Auth / AWS Cognito
Zuul is a gateway service that provides dynamic routing, monitoring, resiliency, security, and more.
Change data capture for a variety of databases. Please log issues at https://issues.redhat.com/browse/DBZ.
Spinnaker is an open source, multi-cloud continuous delivery platform for releasing software changes with high velocity and confidence.
Apache Beam is a unified programming model for Batch and Streaming data processing.
Open-Source Subscription Billing & Payments Platform
[Unmaintained] Open source two-factor authentication for Android
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
An extremely fast implementation of Aho Corasick algorithm based on Double Array Trie.
A simple plugin that allows running mypy from PyCharm and navigate between errors
A plugin providing both real-time and on-demand scanning of Python files with Mypy from within PyCharm/IDEA.
Implementation of Vision Based Page Segmentation algorithm in Java
Riak logical export and data migration tool (using Java client)






