Stars
- All languages
- ANTLR
- ActionScript
- Ada
- Alloy
- Assembly
- Bikeshed
- Blade
- Boogie
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Cuda
- 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
- 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
The fastest path to AI-powered full stack observability, even for lean teams.
For developers, who are building real-time data-driven applications, Redis is the preferred, fastest, and most feature-rich cache, data structure server, and document and vector query engine.
stb single-file public domain libraries for C/C++
A code-searching tool similar to ack, but faster.
Zstandard - Fast real-time compression algorithm
UNIX-like reverse engineering framework and command-line toolset
BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more
MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems
A time-series database for high-performance real-time analytics packaged as a Postgres extension
GoAccess is a real-time web log analyzer and interactive viewer that runs in a terminal in *nix systems or through your browser.
Beyond file syncing and sharing, a new way to organize your files with extensible file properties and flexible views
Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.
A modern, portable, easy to use crypto library.
Cross-platform multi-protocol VPN software. Pull requests are welcome. The stable version is available at https://github.com/SoftEtherVPN/SoftEtherVPN_Stable.
Embedded web server, with TCP/IP network stack, MQTT and Websocket
Official QEMU mirror. Please see https://www.qemu.org/contribute/ for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.
John the Ripper jumbo - advanced offline password cracker, which supports hundreds of hash and cipher types, and runs on many operating systems, CPUs, GPUs, and even some FPGAs
A fast, light-weight proxy for memcached and redis
mimalloc is a compact general purpose allocator with excellent performance.
AddressSanitizer, ThreadSanitizer, MemorySanitizer
Embed the Power of Lua into NGINX HTTP servers