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
- YAML
- Yacc
- Yul
- Zig
- hoon
Starred repositories
🎆 Hanabi — a GPU particle system plugin for the Bevy game engine.
🎒 Token-Oriented Object Notation (TOON) – A compact, deterministic JSON format for LLM prompts. Spec, benchmarks, TypeScript SDK.
Simple, keyboard-driven TUI for time-tracking that allows you to quickly add time blocks and automatically group time if same task was done in different sessions
TUI input library supporting multiple backends, tui-rs and ratatui
A fast implementation of Aho-Corasick in Rust.
Simple yet powerful multi-line text editor widget for ratatui and tui-rs
A modular and open-ended toolkit for WebGPU, with advanced type inference and the ability to write shaders in TypeScript
A payments protocol for the internet. Built on HTTP.
A Rust implementation of the Noise Protocol Framework
pizlonator / fil-c
Forked from llvm/llvm-projectFil-C: completely compatible memory safety for C and C++
Terminal-first Ethereum wallet for people who read the docs. No hand-holding, just raw transaction power.
Embedded Rust arithmetic, 2D/3D vector, and statistics library
Interference-aware CPU scheduling that enables performance isolation and high CPU utilization for datacenter servers
CIFAR-10 speedrun: Trains to 94% accuracy in 1.98 seconds on a single NVIDIA A100 GPU.
📦 Bundles your TypeScript libraries faster than you can say "bundle"
✨ Awesome - A curated list of amazing Homomorphic Encryption libraries, software and resources
A free, open source, and extensible speech-to-text application that works completely offline.
[Work in progress] A small, fast cross-platform database client
Thermodynamic Hypergraphical Model Library in JAX
Jelly is a recreational programming language inspired by J.
Rust GUI components for building fantastic cross-platform desktop application by using GPUI.
"AI-Trader: Can AI Beat the Market?" Live Trading Bench: https://hkuds.github.io/AI-Trader/