mracos/asdf-swiprolog external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

mracos/asdf-swiprolog

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/mracos/asdf-swiprolog)

Close

mracos / asdf-swiprologView on GitHubMore

• External links
• Readme badge

SWI-Prolog plugin for the asdf version manager

☆12Sep 29, 2026Updated last month

Alternatives and similar repositories for asdf-swiprolog

Users that are interested in asdf-swiprolog are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• aarroyoc / teruel

  View on GitHub
  Template engine for ISO Prolog, based on Jinja and Tera
  ☆21Feb 5, 2024Updated 2 years ago
• mndrix / jolog

  View on GitHub
  Concurrent and distributed Prolog via join patterns (join calculus)
  ☆12Mar 10, 2015Updated 11 years ago
• swi-to-yap / swicli

  View on GitHub
  SWI-Prolog 2-Way interface to Commmon Language Interface
  ☆13Jan 21, 2017Updated 9 years ago
• JanWielemaker / openapi

  View on GitHub
  SWI-Prolog OpenAPI (Swagger) support
  ☆10Sep 30, 2024Updated 2 years ago
• fnogatz / plammar

  View on GitHub
  A Prolog grammar written in Prolog, for parsing and serialising Prolog code.
  ☆16Aug 16, 2021Updated 5 years ago
• End-to-end encrypted email - Proton Mail • Ad
  Special offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
• ptarau / pypro

  View on GitHub
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆21Mar 1, 2023Updated 3 years ago
• zsantana / rinha-backend-by-bruno-borges

  View on GitHub
  ☆11Sep 13, 2023Updated 3 years ago
• samer-- / prolog

  View on GitHub
  Prolog stuff
  ☆27Jul 19, 2026Updated 3 months ago
• ManuelPauloAfonso / slowreact

  View on GitHub
  A collection of real React performance problems for you to solve.
  ☆16Jul 15, 2026Updated 3 months ago
• mndrix / spawn

  View on GitHub
  Easy concurrency for Prolog
  ☆13May 30, 2014Updated 12 years ago
• fifth-postulate / functional-geometry-in-prolog

  View on GitHub
  Functional Geometry in Prolog
  ☆18May 17, 2020Updated 6 years ago
• LogtalkDotOrg / logtalk2

  View on GitHub
  Logtalk 2.x development version
  ☆14Sep 20, 2012Updated 14 years ago
• hhu-stups / prolog-jupyter-kernel

  View on GitHub
  A Jupyter kernel for Prolog
  ☆27May 7, 2024Updated 2 years ago
• jthegedus / asdf-firebase

  View on GitHub
  🔥Firebase CLI (firebase-tools) plugin for asdf version manager. Pin your Firebase CLI version for each project without Node.js or npm!
  ☆19Feb 6, 2024Updated 2 years ago
• End-to-end encrypted cloud storage - Proton Drive • Ad
  Special offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
• JanWielemaker / swi-erlang

  View on GitHub
  Yes, Erlang in SWI-Prolog!
  ☆12Jun 18, 2018Updated 8 years ago
• dogukanozdemir / C-LRU-CACHE

  View on GitHub
  A LRU cache Implementation in C
  ☆19Oct 4, 2024Updated 2 years ago
• mndrix / func

  View on GitHub
  Apply and compose functions in Prolog
  ☆19Oct 27, 2016Updated 10 years ago
• mndrix / edcg

  View on GitHub
  Extended DCG syntax for Prolog by Peter Van Roy
  ☆22Mar 22, 2018Updated 8 years ago
• lf94 / paizo-programmer

  View on GitHub
  An ergonomic, mobile-first, Prolog playground!
  ☆31Sep 13, 2022Updated 4 years ago
• nicoabie / quickcheck

  View on GitHub
  Randomized testing for Prolog à la QuickCheck
  ☆23Jul 30, 2019Updated 7 years ago
• oldcompcz / micro-PROLOG

  View on GitHub
  Disassembled code of SPECTRUM micro-PROLOG T1.0
  ☆39Jul 16, 2026Updated 3 months ago
• nfzhou / lp-contest

  View on GitHub
  ☆11Aug 8, 2026Updated 3 months ago
• a-yiorgos / smallprolog

  View on GitHub
  Small Prolog
  ☆16Dec 8, 2016Updated 9 years ago
• Wordpress hosting with auto-scaling - Free Trial Offer • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• LogtalkDotOrg / logtalk-jupyter-kernel

  View on GitHub
  A Jupyter kernel for Logtalk
  ☆15Nov 4, 2026Updated last week
• kinhosz / Appel

  View on GitHub
  Computer Vision with Ray Tracing
  ☆19Feb 1, 2026Updated 9 months ago
• mndrix / prolog_library_ideas

  View on GitHub
  Random ideas about libraries for Prolog
  ☆12Nov 2, 2016Updated 10 years ago
• pdt-git / public

  View on GitHub
  Prolog Development Tool for Eclipse (PDT) -- http://sewiki.iai.uni-bonn.de/research/pdt/
  ☆31Mar 5, 2021Updated 5 years ago
• SWI-Prolog / tabled-prolog-book

  View on GitHub
  Programming in Tabled Prolog by David S Warren
  ☆25Mar 11, 2020Updated 6 years ago
• bramucas / xclingo

  View on GitHub
  Explains the conclusions of a logic program.
  ☆10May 25, 2023Updated 3 years ago
• hnbeck / ecblackjack

  View on GitHub
  Simple BlackJack game via Browser using SWI Prolog, Tau Prolog
  ☆10Feb 2, 2020Updated 6 years ago
• JanWielemaker / todo-backend-swi-prolog

  View on GitHub
  Implementation of "todo-backed"
  ☆12Aug 24, 2014Updated 12 years ago
• paf31 / purescript-lists-fast

  View on GitHub
  Fast replacements for some common functions on linked lists
  ☆13Dec 14, 2017Updated 8 years ago
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
• thetrime / proscript2

  View on GitHub
  If at first you don't succeed
  ☆12Sep 25, 2020Updated 6 years ago
• MiniCodeMonkey / iOS-nearby-devices-scanner

  View on GitHub
  ☆12Jan 10, 2013Updated 13 years ago
• ptarau / TypesAndProofs

  View on GitHub
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Feb 2, 2026Updated 9 months ago
• jamesnvc / vuelog

  View on GitHub
  Prolog Pengines + vue.js
  ☆17Mar 3, 2019Updated 7 years ago
• lpgauth / httpc_bench

  View on GitHub
  Erlang HTTP client benchmarks
  ☆12Nov 17, 2020Updated 5 years ago
• nomasystems / nuid

  View on GitHub
  Unique identifier generation for Erlang/OTP 27+: RFC 4122 and RFC 9562 UUIDs, plus sortable `nuid` identifiers.
  ☆12Jun 16, 2026Updated 4 months ago
• matthewd / ruby-mozjs

  View on GitHub
  Mozilla JavaScript Engine (SpiderMonkey) bindings for Ruby
  ☆13Jan 1, 2019Updated 7 years ago