- All languages
- ATS
- Agda
- Assembly
- Augeas
- BQN
- C
- C#
- C++
- CMake
- CSS
- Cirru
- Clojure
- CoffeeScript
- Coq
- Cuda
- Dart
- Erlang
- F#
- Go
- HTML
- Haskell
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Lean
- LiveScript
- Lua
- Makefile
- Nix
- OCaml
- Objective-C
- Objective-C++
- Objective-J
- PHP
- PLpgSQL
- Perl
- Prolog
- PureScript
- Python
- ReScript
- Reason
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- Sass
- Scala
- Scheme
- Shell
- Standard ML
- Starlark
- Swift
- Tcl
- TeX
- Tree-sitter Query
- TypeScript
- Vim Script
- Zig
- q
Starred repositories
The easy-to-use open source Business Intelligence and Embedded Analytics tool that lets everyone work with data 📊
CockroachDB — the cloud native, distributed SQL database designed for high availability, effortless scale, and control over data placement.
Miller is like awk, sed, cut, join, and sort for name-indexed data such as CSV, TSV, and tabular JSON
Storybook is the industry standard workshop for building, documenting, and testing UI components in isolation
A cloud native Identity & Access Proxy / API (IAP) and Access Control Decision API that authenticates, authorizes, and mutates incoming HTTP(s) requests. Inspired by the BeyondCorp / Zero Trust whi…
Mirror of the official PostgreSQL GIT repository. Note that this is just a *mirror* - we don't work with pull requests on github. To contribute, please see https://wiki.postgresql.org/wiki/Submitti…
Vim-fork focused on extensibility and usability
A data visualization and analytics component, especially well-suited for large and/or streaming datasets.
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
THIS IS NOT THE OFFICIAL REPO - PLEASE SUBMIT PRs ETC AT: http://github.com/sqlalchemy/sqlalchemy
DuckDB is an analytical in-process SQL database management system
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…
Cross-platform, graphics API agnostic, "Bring Your Own Engine/Framework" style rendering library.
Faster, simpler and more portable implementation of `jq` in OCaml
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
Modern embedded framework, using Rust and async.
A self-contained JavaScript wiki for the browser, Node.js, AWS Lambda etc.
A modern runtime for JavaScript and TypeScript.