Lists (5)
Sort Name ascending (A-Z)
Stars
- All languages
- Assembly
- C
- C#
- C++
- CSS
- Clojure
- Coq
- D
- Dafny
- Dockerfile
- Elixir
- Emacs Lisp
- Erlang
- F#
- F*
- FreeBASIC
- Go
- HTML
- Haskell
- Isabelle
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- Lua
- MATLAB
- Makefile
- Markdown
- NSIS
- Nix
- OCaml
- PHP
- Perl
- PostScript
- PowerShell
- Prolog
- Python
- QML
- Reason
- Rocq Prover
- Roff
- Ruby
- Rust
- Scala
- Shell
- TLA
- TeX
- TypeScript
- Vim Script
ripgrep recursively searches directories for a regex pattern while respecting your gitignore
Hurl, run and test HTTP requests with plain text.
Distributed transactional key-value database, originally created to complement TiDB
⬛️ CLI tool and library for saving complete web pages as a single HTML file
⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.
open source training courses about distributed database and distributed systems
rga: ripgrep, but also search in PDFs, E-Books, Office documents, zip, tar.gz, etc.
Distributed SQL database in Rust, written as an educational project
Techniques and numbers for estimating system's performance from first-principles
zenoh unifies data in motion, data in-use, data at rest and computations. It carefully blends traditional pub/sub with geo-distributed storages, queries and computations, while retaining a level of…
Shadow is a discrete-event network simulator that directly executes real application code, enabling you to simulate distributed systems with thousands of network-connected processes in realistic an…
Reliable p2p network connections in Rust with NAT traversal. One of the most needed libraries for any server-less / decentralised projects
(getting to be a) hard to kill scalable linearizabe store