harp-project / Core-Erlang-Formalization

Related projects ⓘ

Alternatives and complementary repositories for Core-Erlang-Formalization

• SimonJF / monitored-session-erlang
  Supervised Session Actors
  ☆22Updated 8 years ago
• SimonJF / mbcheck
  Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types"
  ☆14Updated 2 months ago
• groupoid / alonzo
  🧊 Типізоване ‏-ג‏‎числення
  ☆15Updated 8 months ago
• uwplse / cheerios
  Formally verified Coq serialization library with support for extraction to OCaml
  ☆23Updated last year
• Szetty / erlang-ffi
  Communicate with Erlang node from Haskell
  ☆12Updated 3 years ago
• amtal / CoreErlang
  AST, parser, pretty-printer for Core Erlang source code.
  ☆28Updated 3 years ago
• raaz-crypto / verse-coq
  VERified asSembler for cryptographic primitives
  ☆12Updated last year
• lindenbaum / hinterface
  Haskell / Erlang interoperability library
  ☆29Updated last year
• SimonBoulier / TypingFlags
  A Coq plugin to disable positivity check, guard check and termination check
  ☆16Updated 5 years ago
• SMT-LIB / SMT-LIB-2
  Public reference documents for the SMT-LIB standard
  ☆12Updated this week
• tcarstens / verlang
  ☆54Updated 11 years ago
• ahmadsalim / desc-n-crunch
  Desc'n crunch: Descriptions, levitation, and reflecting the elaborator.
  ☆11Updated 5 years ago
• umazalakain / session-types-coq
  Formalising session types in Coq
  ☆17Updated 5 years ago
• okeuday / erlang_ml
  Erlang External Term Format for OCaml
  ☆29Updated last year
• jlouis / erlangnode
  Run an OCaml program as an erlang node
  ☆29Updated 8 years ago
• mistupv / rev-erlang
  An implementation of the reversible semantics for Erlang.
  ☆13Updated 7 years ago
• mietek / research
  Work in progress
  ☆34Updated 4 months ago
• michallepicki / suber
  Algebraic Subtyping typechecking algorithms implemented in Erlang
  ☆11Updated 3 years ago
• kolmodin / herl
  Erlang BEAM emulator in Haskell
  ☆48Updated 10 years ago
• metaborg / mj.agda
  https://metaborg.github.io/mj.agda/
  ☆12Updated 4 years ago
• vrnithinkumar / ETC
  ETC
  ☆17Updated 3 years ago
• gallais / agda-nbe
  Formalizing nbe in agda
  ☆30Updated 12 years ago
• danelahman / Normalization-By-Evaluation
  Formalization of normalization by evaluation for the fine-grain call-by-value language extended with algebraic effect theories
  ☆14Updated 11 years ago
• lucch / pesca
  pesca: Proof Editor for Sequent Calculus (mirror)
  ☆10Updated 7 years ago
• pi8027 / efficient-finfun
  ☆13Updated 4 years ago
• cmeiklejohn / vvclocks
  Verified vector clocks, with Coq!
  ☆13Updated 10 years ago
• o89 / n2o
  N2O: Application Server
  ☆10Updated 2 years ago