vyzo / gerbil-libp2p

Related projects: ⓘ

• argumentcomputer / lurk-lisp
  Lisp implementation of Lurk.
  ☆66Updated 2 weeks ago
• p2pcollab / ocaml-p2p
  Collection of composable P2P libraries
  ☆26Updated 3 years ago
• tonyg / racket-reloadable-example
  A simple website written with the Racket webserver, supporting runtime code-reloading.
  ☆12Updated 9 years ago
• polytypic / poc.cml
  ☆26Updated 9 years ago
• igarnier / ocaml-geth
  Strongly-typed OCaml overlay for Go-Ethereum (geth)
  ☆11Updated 3 years ago
• oscoin / oscoin
  Oscoin Full Node Implementation in Haskell (Work in Progress)
  ☆24Updated 4 years ago
• anoma / alucard
  A common lisp DSL for writing zero knowledge circuits
  ☆18Updated last year
• cwgoes / tm-proposer-idris
  Formalization of Tendermint proposer election properties
  ☆15Updated 5 years ago
• murbard / plebeia
  Optimized Patricia trie with disk storage
  ☆31Updated 5 years ago
• VincentToups / DevilsPong
  A simple game in Scheme.
  ☆15Updated 7 years ago
• kennytilton / its-alive
  A Clojure dataflow library for building application models that run by themselves. It's alive!(tm) Starting out as a literal translation …
  ☆21Updated 2 years ago
• feeley / etos
  Erlang to Scheme compiler
  ☆36Updated 12 years ago
• greghendershott / racket-clojure-cheat-sheet
  My working notes about Racket and Clojure equivalencies organized as a cheat sheet.
  ☆27Updated 9 years ago
• moonad / Formality-C
  An implementation of the Formality language in C
  ☆13Updated 4 years ago
• braintripping / magic-tree
  whitespace-aware Clojure source code manipulation.
  ☆18Updated 6 years ago
• technomancy / skaro
  comparative lispology
  ☆42Updated 11 years ago
• thephoeron / wolfcoin
  Common Lisp cryptocurrency client, protocol, and wallet
  ☆17Updated 8 years ago
• namin / pink
  Collapsing Towers of Interpreters (in Scheme)
  ☆56Updated 6 years ago
• fdserr / clotilde
  The Linda process coordination language written in Clojure.
  ☆27Updated 9 years ago
• GaloisInc / BLST-Verification
  BLST-Verification
  ☆20Updated 2 years ago
• mindpool / gambit-termite
  ☆28Updated this week
• tezos / optimal_stack
  Compiler for stack manipulation in Michelson
  ☆14Updated 5 years ago
• mflatt / sirmail
  an IMAP mail client implemented in Racket
  ☆31Updated 2 months ago
• janestreet / noise-wireguard-ocaml
  An implementation of the Noise Protocol, intended to be used as the base for a Wireguard implementation in OCaml.
  ☆26Updated 4 years ago
• hermits-grove / mona
  a password manager for hermits
  ☆30Updated 6 years ago
• filecoin-project / orient
  ↻Observe-Orient-Decide-Act↩
  ☆18Updated 4 years ago
• idris-hackers / idris-cph-exercises
  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
• clojerl / example-web-app
  Very simple web application using cowboy
  ☆19Updated last year
• fab13n / lamtez
  An ML-inspired smart contract language, compiling to Tezos' Michelson VM
  ☆22Updated 6 years ago
• mighty-gerbils / gerbil-utils
  Collection of Utilities for Gerbil Scheme
  ☆43Updated last month