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 5 years ago
• LemonVM / LemonVMAlpha

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

  View on GitHub
  only for 彩虹桥, use https://github.com/niltok/tesseract-lite if you want to deploy
  ☆52May 12, 2023Updated 3 years ago
• thm-mni-ii / PHP-Parser

  View on GitHub
  A Scala-based parser for the latest PHP versions
  ☆12Oct 12, 2018Updated 7 years ago
• Virtual machines for every use case on DigitalOcean • Ad
  Get dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
• carlosedp / zio-scalajs-stack

  View on GitHub
  Full-stack Scala ZIO + Scala.js application for test
  ☆24Apr 6, 2026Updated 2 months ago
• vasily-kartashov / graphql-batch-processing

  View on GitHub
  GraphQL Batch Processing Library
  ☆14Feb 20, 2021Updated 5 years ago
• chuigda-wasteland / Project-47

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

  View on GitHub
  Prolog list utility predicates
  ☆11Jul 19, 2018Updated 7 years ago
• rwl / ir-builder

  View on GitHub
  Pure Java library for creating LLVM IR
  ☆11Jun 9, 2013Updated 13 years ago
• himself65 / LianXue

  View on GitHub
  恋学，全称Cre的恋爱学
  ☆46Dec 10, 2022Updated 3 years ago
• raydac / java-prolog-parser

  View on GitHub
  Java based Edinburgh Prolog parser
  ☆11May 15, 2026Updated last month
• tonyxty / hStacks

  View on GitHub
  Stacks project, from a homotopy type theory point-of-view (hPOV)
  ☆14Oct 10, 2020Updated 5 years ago
• nazarimilad / spring-boot-graphql-querydsl-demo

  View on GitHub
  Extended Spring Boot GraphQL QueryDSL demo project
  ☆11Mar 7, 2022Updated 4 years ago
• Managed Database hosting by DigitalOcean • Ad
  PostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
• GavinMendelGleason / mavis

  View on GitHub
  Optional types for Prolog
  ☆17Dec 12, 2019Updated 6 years ago
• bread-os / bread-os

  View on GitHub
  [WIP] BREAD operate system based on X86_64
  ☆50Feb 11, 2021Updated 5 years ago
• tlehman / fenparser

  View on GitHub
  a parser for Forsyth-Edwards Notation (for encoding chess positions)
  ☆18Jul 8, 2015Updated 10 years ago
• rm-hull / jasentaa

  View on GitHub
  A parser combinator library for Clojure and ClojureScript
  ☆79Updated this week
• jnovak98 / knowledge-panel-scraper

  View on GitHub
  A Python program to scrape Google's Knowledge Panels for details on a list of businesses
  ☆19May 22, 2023Updated 3 years ago
• AntonotnaWang / HINT

  View on GitHub
  [CVPR 2022] HINT: Hierarchical Neuron Concept Explainer
  ☆20Apr 19, 2023Updated 3 years ago
• masukomi / hey_3

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

  View on GitHub
  An implementation of memcpy for amd64 with clang/gcc
  ☆15Feb 7, 2022Updated 4 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
• Deploy on Railway without the complexity - Free Credits Offer • Ad
  Connect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
• rich-iannone / edr

  View on GitHub
  Companion package for the book Exploring Data with R
  ☆10Jan 16, 2021Updated 5 years ago
• 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
• wa-lang / playground

  View on GitHub
  The Wa Playground
  ☆10Dec 31, 2025Updated 5 months ago
• 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
• tuProlog / 2p-kt

  View on GitHub
  A Kotlin Multi-Platform ecosystem for symbolic AI
  ☆115Updated this week
• dark-flames / yukino-dev

  View on GitHub
  A type-driven and high-performance ORM framework in Rust
  ☆31Jun 13, 2025Updated last year
• arthwang / vsc-prolog

  View on GitHub
  A VS Code extension that provides language support for prolog
  ☆104Oct 30, 2023Updated 2 years 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.
• JanWielemaker / chat80

  View on GitHub
  Classical CHAT80 NLP system for Prolog
  ☆25Feb 27, 2025Updated last year
• 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
• khueue / crisp

  View on GitHub
  Crazy Simple Unit Testing in Prolog
  ☆16Apr 7, 2018Updated 8 years ago
• SauravMaheshkar / os1

  View on GitHub
  🦀 kernel
  ☆22Mar 13, 2025Updated last year
• digama0 / lean-rs

  View on GitHub
  High level Lean 4 FFI for Rust
  ☆14Mar 16, 2024Updated 2 years ago
• AdaCore / Ada-IntelliJ

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