myter / CAPtain

Related projects ⓘ

Alternatives and complementary repositories for CAPtain

• mbrock / HBEAM
  Prototypical Haskell virtual machine for Erlang's BEAM bytecode
  ☆27Updated 13 years ago
• lasp-lang / ishikawa
  Erlang implementation of tagged reliable causal broadcast.
  ☆25Updated 6 years ago
• SimonJF / monitored-session-erlang
  Supervised Session Actors
  ☆22Updated 8 years ago
• slfritchie / wide-world-of-actors
  Wide World of Actors, or, Can I Have an Erlang Pony?
  ☆13Updated 6 years ago
• id3as / purescript-erl-pinto
  An opinionated OTP framework wrapper
  ☆26Updated 5 months ago
• cmeiklejohn / ensemble
  Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.
  ☆13Updated 8 years ago
• steinwaywhw / ats-parcc
  A parsing combinator library.
  ☆10Updated 7 years ago
• midas-framework / erlang_library_runtime
  A lightweight erlang runtime
  ☆21Updated 3 years ago
• jemc / pony-crdt
  Delta-State Convergent Replicated Data Types (ẟ-CRDTs) for the Pony language.
  ☆37Updated 5 years ago
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆34Updated 6 years ago
• processone / p1_pgsql
  Pure Erlang PostgreSQL driver
  ☆18Updated 3 weeks ago
• massung / parsec
  Parsec-style parsing for Erlang
  ☆32Updated 13 years ago
• avsm / ocaml-annot
  OCaml annot updated to work with latest 3.10+ annot file format (with Call/Ident info)
  ☆37Updated 6 years ago
• ponylang / pony-for-x
  Source of the "Pony for X" intro to Pony series
  ☆14Updated 8 years ago
• cauterize-tools / caut-erl-ref
  Reference implementation of a Cauterize generator for Erlang.
  ☆9Updated 7 years ago
• amtal / CoreErlang
  AST, parser, pretty-printer for Core Erlang source code.
  ☆28Updated 3 years ago
• liamoc / hilbert
  An intensely interactive, graphical theorem prover based on natural deduction
  ☆29Updated 10 years ago
• idris-hackers / idris-cph-exercises
  Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.
  ☆23Updated 9 years ago
• vitorenesduarte / exp
  Running CRDT experiments on top of https://github.com/vitorenesduarte/ldb
  ☆15Updated 3 years ago
• QuinnWilton / gleam_logic
  Logic programming with µKanren
  ☆11Updated 3 years ago
• gravicappa / klvm
  Shen KLambda to KLVM translator.
  ☆29Updated 8 years ago
• odo / palma
  Erlang application to dynamically create pools of processes, which can be called in a round-robin fashion.
  ☆10Updated 3 years ago
• deech / shen-rust
  ☆34Updated 5 years ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆14Updated 6 years ago
• purerl / purescript-erl-cowboy
  Bindings to Cowboy server
  ☆12Updated last year
• etnt / eml
  Erlang flavored by Some ML
  ☆36Updated 12 years ago
• jmitchell / idris-elixir
  Idris backend targeting Elixir (Work in progress)
  ☆18Updated 7 years ago
• thaterikperson / erie
  A statically-typed lisp for the BEAM
  ☆11Updated 3 years ago
• zwizwa / erl_tools
  Misc Erlang Tools
  ☆11Updated 11 months ago