Session types for asynchronous networking
☆21Nov 19, 2015Updated 10 years ago
Alternatives and similar repositories for nemo
Users that are interested in nemo are comparing it to the libraries listed below
Sorting:
- Sample repo contract written in Rust and compiled to WebAssembly☆14Aug 14, 2018Updated 7 years ago
- Tiny dependent calculus with inference of irrelevance and erasure☆15Jan 17, 2020Updated 6 years ago
- secp256k1 in pure no_std Rust☆12May 8, 2017Updated 8 years ago
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆29Nov 28, 2024Updated last year
- ABANDONED delineator of pseudonymous payment sets☆13Dec 12, 2024Updated last year
- A tool for translating imperative programs to CSP.☆13Feb 7, 2017Updated 9 years ago
- Control.Effects☆19Apr 14, 2019Updated 6 years ago
- Connect groups across protocols with logging and command support.☆13Feb 2, 2019Updated 7 years ago
- Parallel Functional Programming, 2020☆16Jan 18, 2024Updated 2 years ago
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆69Sep 1, 2025Updated 5 months ago
- Actor-like concurrency for Rust.☆15Dec 20, 2020Updated 5 years ago
- A library for deadlock-free session-typed communication in Rust.☆49Feb 17, 2021Updated 5 years ago
- A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with al…☆16Dec 10, 2017Updated 8 years ago
- Optional function arguments☆16Sep 4, 2022Updated 3 years ago
- ☆27Jun 30, 2014Updated 11 years ago
- Exonum + Wasmi☆19Feb 28, 2018Updated 8 years ago
- Various type-aligned sequence data structures.☆21Aug 15, 2021Updated 4 years ago
- Javascript Library for Counterparty (counterparty.io)☆19Jul 5, 2016Updated 9 years ago
- Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows☆25Jan 25, 2013Updated 13 years ago
- A Bitcoin wallet written in Rust as a testbed for experimental user-facing tools☆30Dec 23, 2021Updated 4 years ago
- ☆20Aug 13, 2024Updated last year
- Type Theory with Indexed Equality☆26Apr 7, 2017Updated 8 years ago
- provable bitcoin HODLing☆22Mar 23, 2017Updated 8 years ago
- Category theory and algebra☆27Aug 4, 2016Updated 9 years ago
- Revised Omega-categorical Typechecker☆27Nov 3, 2024Updated last year
- LaTeX style file to typeset functional languages like Haskell☆26Mar 25, 2013Updated 12 years ago
- *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers☆27Apr 29, 2016Updated 9 years ago
- Embed typed ASN.1 grammars in OCaml☆36Dec 17, 2024Updated last year
- Verification Framework for Actor Systems on Coq☆29Jul 2, 2018Updated 7 years ago
- Dependently typed Algorithm M and friends☆26Jun 2, 2018Updated 7 years ago
- ☆26Nov 14, 2017Updated 8 years ago
- Exact real arithmetic in Haskell☆25Dec 13, 2021Updated 4 years ago
- Haskell Type Level Example Programs☆28Nov 30, 2017Updated 8 years ago
- Multisignature P2SH Brainwallet☆35May 5, 2017Updated 8 years ago
- A simple implementation of Pay-to-Contract-Hash☆90Dec 23, 2021Updated 4 years ago
- Bitcoin software suite☆64Oct 5, 2021Updated 4 years ago
- Legacy code connected to the high-assurance implementation of the Ouroboros protocol family☆79Feb 4, 2022Updated 4 years ago
- 💠 HL7: FHIR Application Server ISO/HL7 27931:2009☆11Feb 17, 2026Updated last week
- Mtac in Agda☆29May 4, 2021Updated 4 years ago