Stars
- All languages
- ANTLR
- ActionScript
- Ada
- Alloy
- Assembly
- Bikeshed
- Boogie
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Cuda
- Cython
- D
- Dafny
- Dart
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- F*
- FreeBASIC
- Go
- Groff
- Groovy
- HCL
- HTML
- Hack
- Haskell
- Haxe
- Idris
- Inno Setup
- Isabelle
- Java
- JavaScript
- Jsonnet
- Julia
- Jupyter Notebook
- Kaitai Struct
- Kotlin
- LLVM
- Lua
- MDX
- Makefile
- Markdown
- Mathematica
- Meson
- MiniZinc
- Nemerle
- Nim
- OCaml
- Objective-C
- Objective-C++
- PHP
- PLpgSQL
- Pascal
- Perl
- Perl 6
- PicoLisp
- Pony
- PostScript
- Processing
- Promela
- Protocol Buffer
- Puppet
- Python
- R
- Racket
- Ragel
- ReScript
- Red
- RenderScript
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- SMT
- SQLPL
- Scala
- Scheme
- Scilab
- Shell
- Smarty
- Standard ML
- Starlark
- Swift
- TLA
- TeX
- Terra
- Thrift
- Toit
- Twig
- TypeScript
- VHDL
- Verilog
- Vim Script
- Vue
- WebAssembly
- Wren
- Yacc
- Zig
- eC
Developer-first error tracking and performance monitoring
Empowering everyone to build reliable and efficient software.
A query and indexing engine for Redis, providing secondary indexing, full-text search, vector similarity search and aggregations.
Vim-fork focused on extensibility and usability
The easy-to-use open source Business Intelligence and Embedded Analytics tool that lets everyone work with data 📊
Small self-contained pure-Go web server with Lua, Teal, Markdown, Ollama, HTTP/2, QUIC, Redis, SQLite and PostgreSQL support ++
High-performance proxy for MySQL and PostgreSQL
mimalloc is a compact general purpose allocator with excellent performance.
ClickHouse® is a real-time analytics database management system
Design-first Go framework that generates API code, documentation, and clients. Define once in an elegant DSL, deploy as HTTP and gRPC services with zero drift between code and docs.
Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.
Read-only git conversion of OpenBSD's official CVS src repository. Pull requests not accepted - send diffs to the tech@ mailing list.
ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.
A modern replacement for Redis and Memcached
procfs provides functions to retrieve system, kernel and process metrics from the pseudo-filesystem proc.
Distributed reliable key-value store for the most critical data of a distributed system
Reliable & unreliable messages over UDP. Robust message fragmentation & reassembly. P2P networking / NAT traversal. Encryption.
Open Watcom V2.0 - Source code repository, Wiki, Latest Binary build, Archived builds including all installers for download.
Python library and command line tool for configuring any YubiKey over all USB interfaces.
CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
A modern runtime for JavaScript and TypeScript.
Git with a cup of tea! Painless self-hosted all-in-one software development service, including Git hosting, code review, team collaboration, package registry and CI/CD
A Scalable, User-Friendly Source Control System.
MariaDB server is a community developed fork of MySQL server. Started by core members of the original MySQL team, MariaDB actively works with outside developers to deliver the most featureful, stab…
Go compiler for small places. Microcontrollers, WebAssembly (WASM/WASI), and command-line tools. Based on LLVM.