Prolog interpreter/compiler
☆35Jun 15, 2020Updated 6 years ago
Alternatives and similar repositories for Elxlog
Users that are interested in Elxlog are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Lisp1.5 interpreter/compier☆17Jun 15, 2020Updated 6 years ago
- Concurrent and distributed Prolog via join patterns (join calculus)☆12Mar 10, 2015Updated 11 years ago
- Implementing RAG using Elixir and Ollama☆27Nov 17, 2024Updated last year
- Prolog interpreter in and for Erlang☆386Feb 25, 2024Updated 2 years ago
- Prolog stuff☆27Updated this week
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A Prolog library to connect to PostgreSQL databases☆108Jun 7, 2026Updated last month
- ReasonML/ReScript bindings for the Phoenix javascript library☆15Nov 21, 2020Updated 5 years ago
- An ArangoDB Ecto adapter using ArangoX☆55Mar 27, 2025Updated last year
- Dyalog APL implementation of a 3D ray tracer☆12Oct 31, 2019Updated 6 years ago
- An idiomatic clojure wrapper to the Jena API☆14Nov 8, 2021Updated 4 years ago
- APL function editor written in APL☆12Mar 9, 2026Updated 4 months ago
- MUD Server written in Prolog using Forward chaining☆29Feb 6, 2022Updated 4 years ago
- Template to integrate phoenix.16, esbuild, svelte and tailwindcss☆11Feb 20, 2022Updated 4 years ago
- Prolog interpreter with support for weak unification. Fork of https://bitbucket.org/cfbolz/pyrolog/☆15Jun 23, 2020Updated 6 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Elixir GTIN & UPC Generation and Validation Library☆16Dec 8, 2025Updated 7 months ago
- ISLISP implementation on Graal Truffle framework☆28Jan 5, 2026Updated 6 months ago
- Another scheduling system, focusing on the collection of results for one-time tasks, written in Elixir☆20May 16, 2024Updated 2 years ago
- Naively-evaluated Datalog, implemented in Elixir☆32Sep 12, 2024Updated last year
- Experimental Elixir bindings for Apache Arrow including Parquet and DataFusion☆39Oct 29, 2023Updated 2 years ago
- Fuzzy Aggregators and Similarity Into a Logic Language☆26Sep 12, 2024Updated last year
- A Julia-Erlang module for using the External Term Format from Julia☆15Jun 1, 2020Updated 6 years ago
- Liyad (Lisp yet another DSL interpreter) is very small Lisp interpreter written in JavaScript.☆33Mar 15, 2023Updated 3 years ago
- SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions☆42Jan 23, 2023Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ANNSER is A Neural Network Simulator for Education and Research.☆10Aug 28, 2016Updated 9 years ago
- Better admin panel and HTML generator for Phoenix. 1.3☆11Aug 7, 2018Updated 7 years ago
- interpreter and compiler to be compatible with ARITY/PROLOG（MS-DOS)☆148May 23, 2026Updated last month
- Ash Neo4j datalayer☆15Jun 27, 2026Updated 3 weeks ago
- FLIP animations of elements within LiveView☆21May 15, 2025Updated last year
- A toy Scheme-like language on Elixir, just for fun☆41Jan 17, 2017Updated 9 years ago
- Demo SWI-Prolog HTTP based chat server☆21Nov 2, 2016Updated 9 years ago
- An implementation of SPARQL for Elixir☆44Jun 21, 2026Updated last month
- Jido implementation of Managed Agents on Phoenix☆23Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Library to enable using graphviz in Racket programs☆25Oct 21, 2021Updated 4 years ago
- Erlang to PureScript transpiler. Run Erlang in the browser!☆113Sep 14, 2022Updated 3 years ago
- Admin generator for Phoenix LiveView and Tailwind CSS☆22Mar 13, 2021Updated 5 years ago
- LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 1990's☆18Aug 30, 2025Updated 10 months ago
- Randomized testing for Prolog à la QuickCheck☆23Jul 30, 2019Updated 6 years ago
- An effort to transcribe Ken Iverson's "A Programming Language" book to LaTeX.☆20Aug 5, 2025Updated 11 months ago
- This app allows you to ask questions and get answers regarding your code provided the folder location of your code.☆16Oct 4, 2024Updated last year