Phosphorus15/intellij-prolog 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

Phosphorus15/intellij-prolog

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/Phosphorus15/intellij-prolog)

Close

Phosphorus15 / intellij-prologView on GitHubMore

• External links
• Readme badge

Prolog plugin for Intellij IDEA

☆28Mar 5, 2023Updated 3 years ago

Alternatives and similar repositories for intellij-prolog

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

• sea-design / sea-design

  View on GitHub
  🌊 A React UI library
  ☆13Feb 2, 2022Updated 4 years ago
• 9chu / parser_gen

  View on GitHub
  A LR(1) parser generator targeting C++17.
  ☆13Jul 8, 2020Updated 6 years ago
• LemonVM / LemonVMAlpha

  View on GitHub
  A Register Based VM. 柠檬手写的看起来像栈机的寄存器机
  ☆65Aug 7, 2020Updated 6 years ago
• niltok / tesseract

  View on GitHub
  only for 彩虹桥, use https://github.com/niltok/tesseract-lite if you want to deploy
  ☆51May 12, 2023Updated 3 years ago
• KDE / index-fm

  View on GitHub
  Multi-platform file manager
  ☆31Updated this week
• GPUs on demand by Runpod - Special Offer Available • Ad
  Run AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
• carlosedp / zio-scalajs-stack

  View on GitHub
  Full-stack Scala ZIO + Scala.js application for test
  ☆24Apr 6, 2026Updated 4 months ago
• BrianPeek / ZMachineLib

  View on GitHub
  An incomplete ZMachine interpreter written in C#
  ☆10Jun 21, 2025Updated last year
• chuigda-wasteland / Project-47

  View on GitHub
  The formal development repository for Pr47
  ☆21Feb 21, 2023Updated 3 years ago
• stefanholek / conditional

  View on GitHub
  Conditionally enter a context manager
  ☆10Updated this week
• mndrix / list_util

  View on GitHub
  Prolog list utility predicates
  ☆11Jul 19, 2018Updated 8 years ago
• himself65 / LianXue

  View on GitHub
  恋学，全称Cre的恋爱学
  ☆46Dec 10, 2022Updated 3 years ago
• rwl / ir-builder

  View on GitHub
  Pure Java library for creating LLVM IR
  ☆12Jun 9, 2013Updated 13 years ago
• sma / lox

  View on GitHub
  A dart implementation of Bob Nystrom's Lox language
  ☆12Oct 10, 2024Updated last year
• ylhyra / ylhyra

  View on GitHub
  Software for creating annotated texts and vocabulary flashcards for language learning
  ☆13Updated this week
• AI Agents on DigitalOcean Gradient AI Platform • Ad
  Build production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
• raydac / java-prolog-parser

  View on GitHub
  Java based Edinburgh Prolog parser
  ☆12May 15, 2026Updated 2 months ago
• tonyxty / hStacks

  View on GitHub
  Stacks project, from a homotopy type theory point-of-view (hPOV)
  ☆14Oct 10, 2020Updated 5 years ago
• k8s-community / k8s-workshop-eu

  View on GitHub
  Production-ready microservices with Go and Kubernetes @ GopherCon Iceland
  ☆10May 29, 2019Updated 7 years ago
• GavinMendelGleason / mavis

  View on GitHub
  Optional types for Prolog
  ☆17Dec 12, 2019Updated 6 years ago
• codefresh-io / go-sdk

  View on GitHub
  Codefresh SDK for Golang
  ☆12Nov 14, 2025Updated 8 months ago
• kamalmarhubi / syntex-syntax-example

  View on GitHub
  A fun example of working with Rust ASTs and syntex_syntax
  ☆20Feb 21, 2018Updated 8 years ago
• pkscanvas / RoundTable

  View on GitHub
  Round Table Framework for TQA
  ☆13Aug 27, 2024Updated last year
• SchrodingerZhu / memcpy-amd64

  View on GitHub
  An implementation of memcpy for amd64 with clang/gcc
  ☆15Feb 7, 2022Updated 4 years ago
• cocolab8 / cocktail

  View on GitHub
  Cocktail Toolbox for compiler construction - generated source code in C
  ☆13Jan 9, 2025Updated last year
• 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.
• purescript-node / purescript-node-child-process

  View on GitHub
  Spawn child processes in PureScript via the Node.js child_process API.
  ☆13Mar 22, 2025Updated last year
• tuProlog / 2p-kt

  View on GitHub
  A Kotlin Multi-Platform ecosystem for symbolic AI
  ☆116Updated this week
• jasny / http-message-php-ext

  View on GitHub
  PSR-7 implementation as PHP extension (pecl)
  ☆21Dec 13, 2021Updated 4 years ago
• ice1k / ConsHoTT

  View on GitHub
  Constructive Interpretations of HoTT
  ☆36Aug 26, 2020Updated 5 years ago
• fodori / jsonui

  View on GitHub
  ☆13Jul 12, 2026Updated 3 weeks ago
• masukomi / hey_3

  View on GitHub
  Hey! An Interruption and Time Tracking Command line app.
  ☆13Nov 19, 2024Updated last year
• purescript-concur / awesome-concur

  View on GitHub
  A curated list of awesome Concur resources and related projects.
  ☆10Dec 1, 2020Updated 5 years ago
• alan-if / alan

  View on GitHub
  ALAN IF compilers and interpreters
  ☆19Sep 3, 2025Updated 11 months ago
• wa-lang / playground

  View on GitHub
  The Wa Playground
  ☆10Dec 31, 2025Updated 7 months ago
• Deploy to Railway using AI coding agents - Free Credits Offer • Ad
  Use Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
• ditsing / shadowrocks-async

  View on GitHub
  Throwing rocks against the wall
  ☆13Apr 8, 2023Updated 3 years ago
• andrewchambers / janet-utf8

  View on GitHub
  Janet routines for utf8 handling
  ☆21Jan 19, 2022Updated 4 years ago
• arthwang / vsc-prolog

  View on GitHub
  A VS Code extension that provides language support for prolog
  ☆104Oct 30, 2023Updated 2 years ago
• persan / protobuf-ada

  View on GitHub
  ☆18May 6, 2022Updated 4 years ago
• arachne-framework / arachne-fileset

  View on GitHub
  Tools for creating and manipulating immutable filesets
  ☆13Dec 9, 2018Updated 7 years ago
• rla / prolog-markdown

  View on GitHub
  Markdown parser for SWI-Prolog.
  ☆23Oct 22, 2020Updated 5 years ago
• AdaCore / Ada-IntelliJ

  View on GitHub
  Support for Ada and SPARK languages in IntelliJ IDEA
  ☆22Oct 17, 2022Updated 3 years ago