rvirding / erlog
Prolog interpreter in and for Erlang
☆374Updated last year
Alternatives and similar repositories for erlog:
Users that are interested in erlog are comparing it to the libraries listed below
- Concuerror is a stateless model checking tool for Erlang programs.☆336Updated last week
- Relational programming in Elixir☆81Updated 7 years ago
- A Gradual type system for Erlang☆618Updated 5 months ago
- [UNMAINTAINED] Universal Binary Format 2.2☆214Updated 9 years ago
- Erlang Patterns of Concurrency☆314Updated 2 years ago
- Trifork QuickCheck☆279Updated 8 years ago
- Wrangler -- An Erlang Refactorer☆163Updated 2 months ago
- Erlang NIF for sqlite☆132Updated 3 months ago
- Erlang NIF examples for showing Erlang scheduler issues☆142Updated 9 years ago
- Erlando☆308Updated 6 years ago
- A concolic testing tool for the Erlang functional programming language.☆213Updated 2 months ago
- Execute and control OS processes from Erlang/OTP☆561Updated last week
- 🐟 GRiSP Erlang Runtime Library☆251Updated 2 months ago
- pure functional and generic programming for Erlang☆125Updated last year
- Erlang Orleans☆285Updated 2 months ago
- Parse transform utilities for Erlang☆232Updated last year
- An up to date riak_core tutorial, using basho's riak_core, Erlang/OTP 23-24-25 and rebar3.☆150Updated 2 years ago
- Erlang Enhancement Proposals☆268Updated last week
- a new dialect of erlang☆165Updated 10 years ago
- 📁 FS: Windows, Linux, Mac Driver☆238Updated last week
- Erlang interface to low level socket operations☆283Updated 4 months ago
- SERESYE means Swarm oriented ERlang Expert SYstem Engine. It is a library to write expert systems and rule processing engines using the E…☆212Updated last month
- Simple, robust and performant Erlang web server☆330Updated 4 months ago
- 🐉 SHEN: Erlang JavaScript Compiler☆235Updated 4 years ago
- Job scheduler for load regulation☆328Updated last year
- Bootstrapped algebraic data types for Elixir☆338Updated 2 years ago
- A safety valve for your erlang node☆261Updated 7 years ago
- Erlang Docs in the Shell predating EEP-48 and shell_docs☆120Updated last year
- PropEr: a QuickCheck-inspired property-based testing tool for Erlang☆887Updated last week
- JavaErlang is a library that attempts to facilitate the communication between Java and Erlang nodes, implemented as an additional layer o…☆75Updated last month