- Austin, TX
Lists (21)
Sort Name ascending (A-Z)
consensus, crdt, sync
6 repositories
Cool data structures, algorithms
1 repository
Crypto algos, libs
54 repositories
edu
46 repositories
fun
8 repositories
hackerish
38 repositories
hardware
78 repositories
homelab
61 repositories
htmz
10 repositories
lambda, coc, fp
10 repositories
Lean
185 repositories
local-first
63 repositories
P2P Data structures, DBs
19 repositories
P2P Networking
11 repositories
PrettyStuff
32 repositories
Sol
6 repositories
sqlite
5 repositories
urbit
161 repositories
Utils
17 repositories
WASM
11 repositories
Zig
2 repositories
- All languages
- Agda
- ApacheConf
- AppleScript
- Arduino
- Assembly
- Batchfile
- C
- C#
- C++
- CSS
- Circom
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Cuda
- Dart
- Dockerfile
- Eagle
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- Forth
- G-code
- GAP
- GLSL
- Go
- HTML
- Hack
- Handlebars
- Haskell
- Idris
- Isabelle
- Janet
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- Lean
- Lua
- MATLAB
- MDX
- MQL4
- Makefile
- Markdown
- Mustache
- Nim
- Nix
- Nunjucks
- OCaml
- Objective-C
- Objective-C++
- Opa
- OpenSCAD
- PHP
- Perl
- Prolog
- Pug
- Python
- R
- RPC
- Raku
- ReScript
- Rocq Prover
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Solidity
- Standard ML
- Starlark
- Svelte
- Swift
- SystemVerilog
- TLA
- TeX
- Tree-sitter Query
- TypeScript
- VHDL
- Verilog
- Vim Script
- Vue
- WebAssembly
- Zig
- hoon
Starred repositories
7
stars
written in Solidity
Clear filter
OpenZeppelin Contracts is a library for secure smart contract development.
Basic string utilities for Solidity
Provable API for Ethereum smart contracts
Tornado Cash as a foundry project, using latest versions of tools such as Circom, snarkJS, etc.
Ethereum Payment Channel in 50 lines of code
Pluggable smart contract system for storing revisionable MIX content items.