vyzo / gerbil-libp2p
Libp2p bindings for Gerbil
☆14Updated 2 years ago
Alternatives and similar repositories for gerbil-libp2p:
Users that are interested in gerbil-libp2p are comparing it to the libraries listed below
- Strongly-typed OCaml overlay for Go-Ethereum (geth)☆11Updated 4 years ago
- Formalization of Tendermint proposer election properties☆15Updated 6 years ago
- Lisp implementation of Lurk.☆69Updated 4 months ago
- Ethereum support for Gerbil Scheme☆18Updated 9 months ago
- An ML-inspired smart contract language, compiling to Tezos' Michelson VM☆22Updated 7 years ago
- ☆26Updated 9 years ago
- A common lisp DSL for writing zero knowledge circuits☆18Updated 2 years ago
- An implementation of the Noise Protocol, intended to be used as the base for a Wireguard implementation in OCaml.☆26Updated 4 years ago
- A Common Lisp client library for the IPFS API☆14Updated 7 years ago
- A simple website written with the Racket webserver, supporting runtime code-reloading.☆12Updated 10 years ago
- Collection of composable P2P libraries☆25Updated 3 years ago
- Binaryen bindings for Racket☆11Updated 3 years ago
- Network event library for Common Lisp☆11Updated 5 years ago
- Optimized Patricia trie with disk storage☆31Updated 5 years ago
- Common Lisp cryptocurrency client, protocol, and wallet☆17Updated 9 years ago
- Elliptic curve library secp256k1 wrapper for Ocaml☆24Updated last year
- A simple game in Scheme.☆15Updated 8 years ago
- Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams☆18Updated 2 years ago
- an IMAP mail client implemented in Racket☆31Updated 6 months ago
- Hash Array Mapped Tries for Racket☆20Updated 8 years ago
- ↻Observe-Orient-Decide-Act↩☆19Updated 5 years ago
- Distributed Protocol Combinators☆13Updated 3 years ago
- Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.☆23Updated 9 years ago
- Oscoin Full Node Implementation in Haskell (Work in Progress)☆24Updated 5 years ago
- Minimal SML-based web server☆14Updated 9 years ago
- Arbitrary-precision decimal based on Zarith☆19Updated 2 months ago
- Abe-Ohkubo-Suzuki Linkable Ring Signatures☆48Updated 5 years ago
- EDN reader and writer for Ocaml☆21Updated 2 years ago
- Common Lisp implementation of the Erlang External Term Format☆17Updated 2 years ago
- Abacus – Unified Syntax for Pattern Matching over Algebraic Types in Common Lisp☆27Updated 9 years ago