rvirding / erlogLinks
Prolog interpreter in and for Erlang
☆376Updated last year
Alternatives and similar repositories for erlog
Users that are interested in erlog are comparing it to the libraries listed below
Sorting:
- A Gradual type system for Erlang☆620Updated 2 months ago
- Concuerror is a stateless model checking tool for Erlang programs.☆339Updated 2 months ago
- Wrangler -- An Erlang Refactorer☆164Updated 4 months ago
- Relational programming in Elixir☆81Updated 7 years ago
- Erlang Enhancement Proposals☆268Updated last week
- [UNMAINTAINED] Universal Binary Format 2.2☆215Updated 9 years ago
- Job scheduler for load regulation☆328Updated last year
- Erlang Patterns of Concurrency☆314Updated 2 years ago
- Erlang NIF examples for showing Erlang scheduler issues☆142Updated 9 years ago
- A concolic testing tool for the Erlang functional programming language.☆212Updated last week
- Erlang Orleans☆288Updated 4 months ago
- 🐟 GRiSP Erlang Runtime Library☆266Updated last week
- a new dialect of erlang☆165Updated 10 years ago
- Erlando☆307Updated 6 years ago
- LambdaPad source files for erlangpatterns.org☆168Updated 4 years ago
- Static site generator using Erlang. Yes, Erlang.☆123Updated 5 years ago
- Yes, another Erlang web server!☆82Updated 7 years ago
- PropEr: a QuickCheck-inspired property-based testing tool for Erlang☆893Updated last month
- erlang tracing debugger☆223Updated 4 months ago
- A safety valve for your erlang node☆261Updated 8 years ago
- A small portable virtual machine that would run Erlang on embedded systems☆131Updated 7 years ago
- Erlang worker pool☆277Updated last week
- pure functional and generic programming for Erlang☆125Updated last year
- Simple, robust and performant Erlang web server☆333Updated 7 months ago
- Erlang Style Reviewer☆429Updated last week
- Trifork QuickCheck☆279Updated 8 years ago
- Erlang NIF for sqlite☆135Updated 6 months ago
- Erlang NIF Wrapper Generator☆143Updated 2 years ago
- SERESYE means Swarm oriented ERlang Expert SYstem Engine. It is a library to write expert systems and rule processing engines using the E…☆213Updated 3 months ago
- A pure Erlang Key/Value store - based on a LSM-tree, optimised for HEAD requests☆356Updated this week