fogfish / datalog

Related projects ⓘ

Alternatives and complementary repositories for datalog

• lyons / ExKanren
  Relational programming in Elixir
  ☆78Updated 7 years ago
• fogfish / datum
  pure functional and generic programming for Erlang
  ☆124Updated last year
• rvirding / erlog
  Prolog interpreter in and for Erlang
  ☆371Updated 8 months ago
• erlang / spec
  Erlang Language Specification (Draft)
  ☆48Updated 3 months ago
• parapluu / Concuerror
  Concuerror is a stateless model checking tool for Erlang programs.
  ☆333Updated 2 weeks ago
• RefactoringTools / wrangler
  Wrangler -- An Erlang Refactorer
  ☆165Updated last month
• marianoguerra / efe
  Elixir Flavoured Erlang: an Erlang to Elixir Transpiler
  ☆67Updated 3 years ago
• efcasado / forms
  A library that simplifies working with the Erlang abstract format.
  ☆41Updated last year
• ubf / ubf
  [UNMAINTAINED] Universal Binary Format 2.2
  ☆212Updated 8 years ago
• psfblair / datomic_gen_server
  An Elixir GenServer that communicates with a Clojure Datomic peer running in the JVM, using clojure-erlastic.
  ☆23Updated 7 years ago
• cnbbooks / lfe-sicp
  SICP, the LFE Edition
  ☆124Updated 3 months ago
• fenollp / erlscp
  A supercompiler pass for Erlang
  ☆92Updated 3 years ago
• wojtekmach / hello_beam
  Elixir, Erlang, Gleam & LFE code all in the same project!
  ☆67Updated 5 years ago
• beamparticle / beamparticle
  Operate at the speed of (Erlang) BEAM with BeamParticle
  ☆37Updated 4 years ago
• tamarit / edbc
  Erlang Design by Contract
  ☆24Updated 6 years ago
• kofigumbs / codec-beam
  Generate Erlang VM byte code from Haskell
  ☆172Updated last year
• jameshaydon / idris-elixir
  A code-generator for Idris that targets Elixir
  ☆64Updated 6 years ago
• xandkar / beam-internals
  A collection of implementation details of Erlang's VM - BEAM
  ☆40Updated 11 years ago
• kvakvs / Ironclad.old
  A RUSTy fusion of OTP lib/dialyzer and lib/compiler empowering regular Erlang with type inference
  ☆34Updated 2 years ago
• WhatsApp / erlt
  Early prototype of ErlT, an experimental Erlang dialect with first-class support for static typing.
  ☆126Updated 3 years ago
• lasp-lang / types
  Prototype implementation of Conflict-free Replicated Data Types (CRDTs) in Erlang.
  ☆139Updated 5 years ago
• lambdaclass / riak_core_tutorial
  An up to date riak_core tutorial, using basho's riak_core, Erlang/OTP 23-24-25 and rebar3.
  ☆149Updated 2 years ago
• erldocs / erldocs
  Generate documentation for Erlang projects in the format of erldocs.com
  ☆58Updated 4 years ago
• cuter-testing / cuter
  A concolic testing tool for the Erlang functional programming language.
  ☆211Updated last year
• efene / efene
  Alternative syntax for the Erlang Programming Language focusing on simplicity, ease of use and programmer UX
  ☆104Updated 5 years ago
• jemc / pony-crdt
  Delta-State Convergent Replicated Data Types (ẟ-CRDTs) for the Pony language.
  ☆37Updated 5 years ago
• marcelog / ex_abnf
  Parser for ABNF Grammars
  ☆61Updated 5 years ago
• witchcrafters / type_class
  (Semi-)principled type classes for Elixir
  ☆140Updated 2 years ago
• inaka / elvis_core
  The core of an Erlang linter
  ☆61Updated this week
• krestenkrab / triq
  Trifork QuickCheck
  ☆280Updated 7 years ago