harp-project / Core-Erlang-Formalization
☆9Updated this week
Related projects: ⓘ
- Supervised Session Actors☆22Updated 8 years ago
- Communicate with Erlang node from Haskell☆12Updated 3 years ago
- Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types"☆14Updated 3 weeks ago
- ETC☆17Updated 3 years ago
- Erlang External Term Format for OCaml☆29Updated 10 months ago
- 🧊 Типізоване -גчислення☆15Updated 6 months ago
- AST, parser, pretty-printer for Core Erlang source code.☆28Updated 3 years ago
- Algebraic Subtyping typechecking algorithms implemented in Erlang☆12Updated 2 years ago
- Run an OCaml program as an erlang node☆29Updated 8 years ago
- PureScript Erlang hello world☆13Updated 6 years ago
- Haskell / Erlang interoperability library☆29Updated last year
- N2O: Application Server☆10Updated last year
- Higher-order FRP compiler☆14Updated 2 years ago
- Erlang BEAM emulator in Haskell☆48Updated 10 years ago
- ☆54Updated 11 years ago
- Implementation of some Erlang primitives in OCaml☆11Updated 7 years ago
- Lazy iterables in erlang☆13Updated 7 years ago
- An implementation of the reversible semantics for Erlang.☆13Updated 6 years ago
- OCaml binding to LXC with idiomatic (and opionated) OCaml API design☆13Updated 4 years ago
- A simple OCaml library for writing Erlang port drivers☆43Updated 4 years ago
- Master thesis on developing a static type checker for Erlang☆27Updated 5 years ago
- purerl bindings to basic Erlang process functionality☆12Updated 2 years ago
- A curated list of PureScript packages for the Erlang backend☆10Updated 2 years ago
- An MVC library for writing interactive webpages in OCaml☆35Updated 9 years ago
- Session types in Idris2!☆26Updated 3 years ago
- Formally verified Coq serialization library with support for extraction to OCaml☆23Updated 10 months ago
- A tool to automatically convert Hex packages to the Nix Expression format☆33Updated 4 years ago
- Verification Framework for Actor Systems on Coq☆29Updated 6 years ago
- SML Checker for Intersection and Datasort Refinements (pronounced "cider")☆20Updated 11 years ago