Lists (6)
Sort Name ascending (A-Z)
Circom
All things Circom <3CryptoRust
Collection of repos related to crypto using Rust.Foundry
CTF and stuff done with FoundryLurk
zk-functional programming? yes.Sage
SageMath y'allType Juggling
Abusing the type system- All languages
- ActionScript
- Assembly
- Bikeshed
- Brainfuck
- C
- C#
- C++
- CMake
- CSS
- Cairo
- Circom
- Clojure
- Common Lisp
- Coq
- Crystal
- Cuda
- Cython
- Dart
- Dockerfile
- EJS
- Elixir
- Erlang
- Go
- HTML
- Handlebars
- Haskell
- HolyC
- Io
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Less
- LilyPond
- Linear Programming
- Lua
- MATLAB
- MDX
- MLIR
- Makefile
- Markdown
- Mathematica
- Max
- Mermaid
- Metal
- Mojo
- MoonBit
- Move
- Nim
- Noir
- Nunjucks
- Nushell
- OCaml
- Objective-C
- Odin
- OpenSCAD
- PHP
- PLpgSQL
- Pascal
- Perl
- PowerShell
- Python
- QML
- R
- Racket
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- SMT
- Sage
- Sail
- Scala
- Scheme
- Shell
- Solidity
- Standard ML
- Svelte
- Swift
- SystemVerilog
- TeX
- Text
- TypeScript
- Typst
- V
- Verilog
- Vim Script
- Vue
- Vyper
- WebAssembly
- Yacc
- Yul
- Zig
- hoon
Starred repositories
🙃 A delightful community-driven (with 2,400+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python…
Papers from the computer science community to read and discuss.
Node Version Manager - POSIX-compliant bash script to manage multiple active node.js versions
Claude Code is an agentic coding tool that lives in your terminal, understands your codebase, and helps you code faster by executing routine tasks, explaining complex code, and handling git workflo…
🖼️ A command-line system information tool written in bash 3.2+
Fish shell like syntax highlighting for Zsh.
OpenVPN road warrior installer for Ubuntu, Debian, AlmaLinux, Rocky Linux, CentOS and Fedora
Bash Line Editor―a line editor written in pure Bash with syntax highlighting, auto suggestions, vim modes, etc. for Bash interactive sessions.
Achieve state of the art inference performance with modern accelerators on Kubernetes
pwncat - netcat on steroids with Firewall, IDS/IPS evasion, bind and reverse shell, self-injecting shell and port forwarding magic - and its fully scriptable with Python (PSE)
Central Repository for the Epoch 0 coursework and quizzes. Contains all the content, cross-referenced and linked.
Concise GitHub Action for installing a Rust toolchain
Travis CI and AppVeyor template to test your Rust crate on 5 architectures and publish binary releases of it for Linux, macOS and Windows
"Randar" is an exploit for Minecraft which uses LLL lattice reduction to crack the internal state of an incorrectly reused java.util.Random in the Minecraft server, then works backwards from that t…
the shellscript、Dockerfile、properties ...... format extension
⛔️ DEPRECATED Check all links in markdown files if they are alive or dead. 🔗✔️PS: https://github.com/tcort/github-action-markdown-link-check
📜 A Starter Guide to Build ZK Applications 📜
White hat frontrunning script to outpace hackers and secure funds from compromised wallets.