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
• marianoguerra / efe
  Elixir Flavoured Erlang: an Erlang to Elixir Transpiler
  ☆67Updated 3 years ago
• rvirding / erlog
  Prolog interpreter in and for Erlang
  ☆371Updated 8 months ago
• wojtekmach / hello_beam
  Elixir, Erlang, Gleam & LFE code all in the same project!
  ☆67Updated 5 years ago
• tamarit / edbc
  Erlang Design by Contract
  ☆24Updated 6 years ago
• alexdovzhanyn / AlchemyVM
  WebAssembly Virtual Machine Built In Elixir
  ☆189Updated 5 years ago
• RefactoringTools / wrangler
  Wrangler -- An Erlang Refactorer
  ☆165Updated last month
• electric-sql / vaxine
  Rich-CRDT database based on AntidoteDB.
  ☆118Updated last year
• witchcrafters / type_class
  (Semi-)principled type classes for Elixir
  ☆140Updated 2 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
• kvakvs / Ironclad.old
  A RUSTy fusion of OTP lib/dialyzer and lib/compiler empowering regular Erlang with type inference
  ☆34Updated 2 years ago
• aeternity / mnesia_rocksdb
  A RocksDB backend plugin for mnesia, based on mnesia_eleveldb
  ☆149Updated last month
• parapluu / Concuerror
  Concuerror is a stateless model checking tool for Erlang programs.
  ☆333Updated 3 weeks ago
• adoptingerlang / adoptingerlang
  Adopting Erlang is an ongoing effort to gather all the resources that will help you use Erlang in a business
  ☆119Updated 3 weeks ago
• efene / efene
  Alternative syntax for the Erlang Programming Language focusing on simplicity, ease of use and programmer UX
  ☆104Updated 5 years ago
• erlscripten / erlscripten
  Erlang to PureScript transpiler. Run Erlang in the browser!
  ☆113Updated 2 years ago
• fenollp / erlscp
  A supercompiler pass for Erlang
  ☆92Updated 4 years ago
• edgurgel / httparrot
  HTTP Request & Response Server. An incomplete clone of http://httpbin.org
  ☆86Updated 4 months ago
• erleans / erleans
  Erlang Orleans
  ☆282Updated last week
• ananthakumaran / fdb
  FoundationDB client for Elixir
  ☆52Updated last year
• scout119 / beamdasm
  Erlang\Elixir byte code viewer. BEAM file disassembler extension for Visual Studio Code.
  ☆48Updated last year
• chrrasmussen / Idris2-Erlang
  Erlang code generator for Idris 2
  ☆141Updated last year
• mmzeeman / esqlite
  Erlang NIF for sqlite
  ☆129Updated 5 months ago
• WhatsApp / erlt
  Early prototype of ErlT, an experimental Erlang dialect with first-class support for static typing.
  ☆126Updated 3 years ago
• ubf / ubf
  [UNMAINTAINED] Universal Binary Format 2.2
  ☆212Updated 8 years ago
• CrowdHailer / pachyderm
  Virtual actors for elixir
  ☆103Updated 5 years ago
• derekkraan / merkle_map
  A faster Map, augmented with Merkle Trees.
  ☆93Updated 4 years ago
• kvakvs / E4VM
  A small portable virtual machine that would run Erlang on embedded systems
  ☆133Updated 6 years ago
• erlang / spec
  Erlang Language Specification (Draft)
  ☆48Updated 3 months ago