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
- 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
Tetromino Game Engine + Terminal Application in Rust
Official CLI and Python SDK for Prime Intellect - access GPU compute, remote sandboxes, RL environments, and distributed training infrastructure for AI development at scale.
🎵 Is a free asynchronous library from reverse engineered Shazam API written in Python 3.10+ with asyncio and aiohttp.
A curated list of awesome LLM and AI Agent Skills, resources and tools for customising AI Agent workflows - that works with Claude Code, Codex, Gemini CLI and your custom AI Agents
Rex is a safe and usable kernel extension framework that allows loading and executing Rust kernel extension programs in the place of eBPF.
Audit reports can be found at https://docs.lighter.xyz/security/security-audits
Public repository of the Micro QuickJS Javascript Engine
A simple, modular, and fast framework for writing MEV bots in Rust.
The official MongoDB Node.js driver
A non-allocating no-`std` JSON deserializer in Rust
The AI framework that adds the engineering to prompt engineering (Python/TS/Ruby/Java/C#/Rust/Go compatible)
A programming language that is higher level than Rust but lower level than Go. Someday, anyways.
eyJhb / sl
Forked from mtoyoda/slSL(1): Cure your bad habit of mistyping