sasagawa888 / ElxlogLinks
Prolog interpreter/compiler
☆33Updated 5 years ago
Alternatives and similar repositories for Elxlog
Users that are interested in Elxlog are comparing it to the libraries listed below
Sorting:
- simplified query engine based on logic programming paradigm☆155Updated 6 years ago
- A functional programming language with lisp syntax and ML semantics that runs on the BEAM☆47Updated 4 years ago
- Open Telecom Platform Command Language a.k.a. Tcl-Flavored Erlang☆39Updated 3 years ago
- Relational programming in Elixir☆80Updated 8 years ago
- A toy Scheme-like language on Elixir, just for fun☆41Updated 8 years ago
- example project to invoke julia functions in elixir to do scientific computing using port and metaprogramming☆39Updated 7 years ago
- Elixir Flavoured Erlang: an Erlang to Elixir Transpiler☆68Updated 4 years ago
- A very simple Mix task that compiles LFE (lisp (flavoured (erlang)))☆12Updated 7 years ago
- A modern rebar3 plugin for LFE projects☆50Updated last month
- Cure language compiling to BEAM with FSM primitives and Dependent types☆87Updated this week
- Erlang flavored by Some ML☆36Updated 13 years ago
- SICP, the LFE Edition☆125Updated last year
- Exercism exercises in Lisp Flavoured Erlang (LFE).☆25Updated last week
- Core runtime of Erlscripten - ERTS emulation☆16Updated 3 years ago
- A Julia-Erlang module for using the External Term Format from Julia☆16Updated 5 years ago
- Erlang AST to Elixir AST☆20Updated 7 months ago
- Making Music with Extempore, OSC, and SuperCollider in LFE/OTP☆60Updated 4 years ago
- An Elixir GenServer that communicates with a Clojure Datomic peer running in the JVM, using clojure-erlastic.☆23Updated 8 years ago
- Lisp Interpreter in Elixir☆26Updated 7 years ago
- 🔥 NITRO: Nitrogen Web Framework RFC 6455☆56Updated last year
- logic programming in elixir☆10Updated 7 years ago
- Erlang\Elixir byte code viewer. BEAM file disassembler extension for Visual Studio Code.☆47Updated 3 years ago
- [UNMAINTAINED] The Concurrent Schemer☆120Updated 10 years ago
- Session Types in Elixir☆48Updated 2 years ago
- Algebraic Subtyping typechecking algorithms implemented in Erlang☆10Updated 4 years ago
- edn (extensible data notation) encoder/decoder for Elixir☆38Updated last year
- Erlang Design by Contract☆23Updated 7 years ago
- A library for cosine similarity & simhash calculation☆16Updated last year
- Erlang RPC Client for Rust☆24Updated last year
- Erlang code generator for Idris 2☆143Updated 2 years ago