marigold-dev / deku
☆80Updated 2 years ago
Alternatives and similar repositories for deku:
Users that are interested in deku are comparing it to the libraries listed below
- ☆48Updated 2 years ago
- Tornado is a BitTorrent client written entirely in OCaml.☆57Updated last year
- ☆22Updated 2 years ago
- ☆174Updated 3 years ago
- Trusted timestamping on the Tezos blockchain.☆13Updated last year
- ☆21Updated 3 years ago
- An in-development "robocoin" system for the Tezos blockchain☆24Updated 2 years ago
- Convert OCaml Types between different major versions☆14Updated 2 years ago
- A programming language, aka a THING☆10Updated 4 years ago
- A platform agnostic library for P2P communications using UDP and Bin_prot☆21Updated 2 years ago
- ☆17Updated 4 years ago
- ☆16Updated 4 years ago
- A project which aim to help engineers to make proves easily☆13Updated 3 years ago
- Some day, a purely functional Lisp. Right now? Just a silly prototype.☆15Updated 3 years ago
- ☆11Updated 2 years ago
- Letters is an OCaml library for creating and sending emails over SMTP using LWT☆54Updated 3 months ago
- Fast, safe and composable streaming abstractions.☆115Updated 5 months ago
- ☆25Updated 3 years ago
- ☆28Updated 5 months ago
- A consistent and minimal F# driver for ArangoDB☆4Updated 2 years ago
- Toy programming language☆19Updated 11 months ago
- Websocket library for OCaml☆165Updated 2 weeks ago
- Contract Metadata Viewer on Tezos☆25Updated 8 months ago
- A formalization of continuation-passing style calculi in Coq [WIP]☆37Updated last week
- ☆23Updated 2 years ago
- Lisp interpreter written in Rust☆15Updated 3 years ago
- OCaml CRUD Todo App using Melange with JWT auth☆20Updated 3 months ago
- ☆12Updated 2 years ago
- 📘 | Idris2 for Portuguese speakers. (Its called idris2noobs as a reference to the version 2 of the language).☆48Updated 3 years ago
- Ocaml-solidity provides a Solidity parser and typechecker☆31Updated last year