Stars
- All languages
- Assembly
- Batchfile
- C
- C#
- C++
- CSS
- Circom
- Clojure
- Coq
- Cuda
- Dockerfile
- Erlang
- F#
- F*
- Frege
- Go
- Groovy
- HTML
- Handlebars
- Haskell
- Idris
- Java
- JavaScript
- Jinja
- Jupyter Notebook
- Kotlin
- Lean
- Lua
- Makefile
- Markdown
- Nim
- OCaml
- Objective-C
- Objective-C++
- PHP
- Pascal
- Perl
- Python
- Racket
- Rocq Prover
- Roff
- Ruby
- Rust
- Sage
- Scala
- Shell
- Solidity
- Svelte
- SystemVerilog
- TeX
- TypeScript
- Vala
- Verilog
- Vim Script
A Python library and CLI tool for decrypting encrypted SPICE model files, enabling engineers to use lawfully obtained models in any simulator.
A draft proposal for the transparency mechanism for the WAICT spec
Making Reddit data accessible to researchers, moderators and everyone else. Interact with the data through large dumps, an API or web interface.
Aralez (Արալեզ), Reverse proxy built on top of Cloudflare's Pingora
Containerized Firefox with WireGuard VPN
Wireguard client that exposes itself as a socks5 proxy
Open Source Reviews Curated by GitHub Users
Source code for privacytests.org. Includes browser testing code and site rendering.
A radically modular HTML/CSS rendering engine
A context-aware concrete Error type built on core::error::Error.
TUI framework and developer productivity apps in Rust 🦀
The first game written and played entirely in Rust's type system. Not only do you play by writing Rust code, but the rules of the game are enforced by the Rust compiler. If you can write the progra…
Official frugal and native macOS Syncthing application bundle
A running guide on how I degoogled my S24U and the privacy settings I used.





