Alternatives and similar repositories for intellij-prolog

Users that are interested in intellij-prolog are comparing it to the libraries listed below

• sea-design / sea-design

  View on GitHub
  🌊 A React UI library
  ☆13Feb 2, 2022Updated 4 years ago
• ice1000 / arend-io

  View on GitHub
  A toy IO library for Arend
  ☆18Feb 12, 2021Updated 5 years ago
• 9chu / parser_gen

  View on GitHub
  A LR(1) parser generator targeting C++17.
  ☆13Jul 8, 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 2 years ago
• chuigda-wasteland / Project-47

  View on GitHub
  The formal development repository for Pr47
  ☆21Feb 21, 2023Updated 2 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 4 years ago
• carlosedp / zio-scalajs-stack

  View on GitHub
  Full-stack Scala ZIO + Scala.js application for test
  ☆24Feb 3, 2026Updated last week
• bread-os / bread-os

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

  View on GitHub
  恋学，全称Cre的恋爱学
  ☆46Dec 10, 2022Updated 3 years ago
• ice1k / ConsHoTT

  View on GitHub
  Constructive Interpretations of HoTT
  ☆36Aug 26, 2020Updated 5 years ago
• dark-flames / yukino-dev

  View on GitHub
  A type-driven and high-performance ORM framework in Rust
  ☆31Jun 13, 2025Updated 8 months ago
• shoukreytom / JavaFx-Resources

  View on GitHub
  A curated list of awesome JavaFX libraries, books, frameworks, etc...
  ☆10Apr 25, 2020Updated 5 years ago
• astares / Seaside-Bootstrap5

  View on GitHub
  Seaside wrapper for Bootstrap 5 on Pharo
  ☆11Jul 26, 2024Updated last year
• Chi-Task-Force / Chi-Telegram-Inline-Bot

  View on GitHub
  在 Telegram 上快速模仿迟先生卖弱。
  ☆10Oct 28, 2021Updated 4 years ago
• cran / car

  View on GitHub
   This is a read-only mirror of the CRAN R package repository. car — Companion to Applied Regression. Homepage: https://github.com/bprice…
  ☆10Feb 3, 2026Updated last week
• Lancern / soda

  View on GitHub
  Convert shared libraries into relocatable objects
  ☆10Dec 23, 2023Updated 2 years ago
• guillermoamaral / Pharo-Webside

  View on GitHub
  Webside API implementation in Pharo
  ☆12Oct 20, 2025Updated 3 months ago
• dicook / mulgar_book

  View on GitHub
  This is a repo for revising elements of "Interactive and Dynamic Graphics for Data Analysis".
  ☆11Jan 23, 2026Updated 3 weeks ago
• grails / grails-spring-security-ldap

  View on GitHub
  ☆14Feb 28, 2025Updated 11 months ago
• masukomi / hey_3

  View on GitHub
  Hey! An Interruption and Time Tracking Command line app.
  ☆12Nov 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
• LoicMahieu / PDFKitJS

  View on GitHub
  HTML+CSS to PDF in Node.JS
  ☆13Jul 31, 2017Updated 8 years ago
• wa-lang / playground

  View on GitHub
  The Wa Playground
  ☆10Dec 31, 2025Updated last month
• tatut / LiveWeb

  View on GitHub
  LiveWeb: web app framework for Smalltalk
  ☆13Feb 1, 2024Updated 2 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
• giterlizzi / perl-Mojolicious-Plugin-HTMX

  View on GitHub
  Mojolicious::HTMX - </> htmx plugin for Mojolicious
  ☆10Aug 26, 2024Updated last year
• arachne-framework / arachne-fileset

  View on GitHub
  Tools for creating and manipulating immutable filesets
  ☆13Dec 9, 2018Updated 7 years ago
• mitchellsimoens / Ext.LocaleManager

  View on GitHub
  Locale loader and provider for Ext JS 4.x
  ☆12Sep 7, 2011Updated 14 years ago
• purescript-concur / awesome-concur

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

  View on GitHub
  A variant of Ahash written in C++.
  ☆10Mar 20, 2023Updated 2 years ago
• segudev / docker-babashka

  View on GitHub
  ☆10Jul 12, 2021Updated 4 years ago
• influxdata / windows-packager

  View on GitHub
  Create a windows installer
  ☆12Oct 9, 2015Updated 10 years ago
• r4ds / bookclub-advr

  View on GitHub
  ☆11Feb 3, 2026Updated last week
• kefirfromperm / grails-asynchronous-mail

  View on GitHub
  The Grails Asynchronous Mail plugin
  ☆21Jan 18, 2022Updated 4 years ago
• arthuraa / beaq

  View on GitHub
  A Formalization of TeX in Coq
  ☆11Feb 27, 2022Updated 3 years ago
• phoityne / hdx4vsc

  View on GitHub
  Haskell Debugger Extension for Visual Studio Code.
  ☆53Feb 4, 2026Updated last week
• arthwang / vsc-prolog

  View on GitHub
  A VS Code extension that provides language support for prolog
  ☆103Oct 30, 2023Updated 2 years ago
• myflyclub / airline

  View on GitHub
  ☆23Nov 21, 2025Updated 2 months ago
• zio-archive / zio-test-intellij

  View on GitHub
  An optional ZIO Test runner support module for the ZIO IntelliJ plugin
  ☆15Aug 14, 2024Updated last year