marigold-dev / dekuLinks
☆80Updated 2 years ago
Alternatives and similar repositories for deku
Users that are interested in deku are comparing it to the libraries listed below
Sorting:
- ☆48Updated 2 years ago
- Tornado is a BitTorrent client written entirely in OCaml.☆57Updated last year
- ☆22Updated 2 years ago
- ☆21Updated 3 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
- A project which aim to help engineers to make proves easily☆13Updated 3 years ago
- ☆174Updated 3 years ago
- Trusted timestamping on the Tezos blockchain.☆13Updated last year
- ☆16Updated 4 years ago
- Some day, a purely functional Lisp. Right now? Just a silly prototype.☆15Updated 4 years ago
- Convert OCaml Types between different major versions☆14Updated 3 years ago
- Lisp interpreter written in Rust☆15Updated 3 years ago
- Ocaml-solidity provides a Solidity parser and typechecker☆32Updated last year
- ☆73Updated 6 months ago
- ☆25Updated 4 years ago
- A formalization of continuation-passing style calculi in Coq [WIP]☆36Updated last week
- ☆11Updated 2 years ago
- KITTEN BUSINESS IS SERIOUS BUSINESS☆126Updated 2 years ago
- ☆28Updated 6 months ago
- A consistent and minimal F# driver for ArangoDB☆4Updated 2 years ago
- 📘 | Idris2 for Portuguese speakers. (Its called idris2noobs as a reference to the version 2 of the language).☆47Updated 3 years ago
- ☆23Updated 4 years ago
- Michelson VM and Tezos OS rewritten in Rust☆25Updated last year
- Github action for esy☆16Updated last month
- Open-source reference Smart-contracts library for the Tezos Ecosystem, written in CamelLIGO and JSLigo☆11Updated last year
- Letters is an OCaml library for creating and sending emails over SMTP using LWT☆54Updated 5 months ago
- ReasonML bindings for http://react-reveal.com/☆9Updated 4 years ago
- An in-development "robocoin" system for the Tezos blockchain☆24Updated 2 years ago