Lists (1)
Sort Name ascending (A-Z)
Stars
- All languages
- Ada
- Assembly
- AutoIt
- Batchfile
- C
- C#
- C++
- CSS
- Clojure
- Common Lisp
- Dart
- Emacs Lisp
- F#
- F*
- Go
- HTML
- Haskell
- Hy
- Isabelle
- Jai
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- Makefile
- Markdown
- Mathematica
- Mercury
- Nim
- Nix
- Pascal
- PowerShell
- Python
- QML
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- Scheme
- Shell
- SystemVerilog
- TeX
- TypeScript
- Vim Script
- Zig
Empowering everyone to build reliable and efficient software.
The trust-minimized, zero-knowledge bridging protocol, designed for censorship resistance, extremely high security, and usage in decentralized finance.
Cross-platform Rust rewrite of the GNU coreutils
🚀 Fast, secure, lightweight containers based on WebAssembly
A lightweight WebAssembly runtime that is fast, secure, and standards-compliant
⚙️ 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.
A lightweight and high-performance reverse proxy for NAT traversal, written in Rust. An alternative to frp and ngrok.
🥧 Savoury implementation of the QUIC transport protocol and HTTP/3
Home to the Signal Protocol as well as other cryptographic primitives which make Signal possible.
JIT compiler and runtime for a toy language, using Cranelift
A post-quantum cryptographic signature scheme
Utility to auto-adjust the brightness of i3wm workspaces