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.
Sorting:
- π A React UI libraryβ13Feb 2, 2022Updated 4 years ago
- A LR(1) parser generator targeting C++17.β13Jul 8, 2020Updated 5 years ago
- A Register Based VM. ζ ζͺ¬ζεηηθ΅·ζ₯εζ ζΊηε―εε¨ζΊβ65Aug 7, 2020Updated 5 years ago
- only for 彩θΉζ‘₯, use https://github.com/niltok/tesseract-lite if you want to deployβ52May 12, 2023Updated 2 years ago
- A Scala-based parser for the latest PHP versionsβ12Oct 12, 2018Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer β’ AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Multi-platform file managerβ28Apr 10, 2026Updated last month
- Full-stack Scala ZIO + Scala.js application for testβ24Apr 6, 2026Updated last month
- GraphQL Batch Processing Libraryβ14Feb 20, 2021Updated 5 years ago
- The formal development repository for Pr47β21Feb 21, 2023Updated 3 years ago
- β16Updated this week
- Prolog list utility predicatesβ11Jul 19, 2018Updated 7 years ago
- β18May 13, 2019Updated 6 years ago
- Modern Implementation Of Interactive Fiction Interpreters (Z-Machine & Glulx)β22Feb 4, 2026Updated 3 months ago
- ζε¦οΌε ¨η§°Creηζη±ε¦β46Dec 10, 2022Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer β’ AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Java based Edinburgh Prolog parserβ11Jan 17, 2026Updated 3 months ago
- Software for creating annotated texts and vocabulary flashcards for language learningβ10Apr 25, 2023Updated 3 years ago
- Stacks project, from a homotopy type theory point-of-view (hPOV)β14Oct 10, 2020Updated 5 years ago
- Extended Spring Boot GraphQL QueryDSL demo projectβ12Mar 7, 2022Updated 4 years ago
- Optional types for Prologβ17Dec 12, 2019Updated 6 years ago
- [WIP] BREAD operate system based on X86_64β50Feb 11, 2021Updated 5 years ago
- A fun example of working with Rust ASTs and syntex_syntaxβ20Feb 21, 2018Updated 8 years ago
- β13Updated this week
- Hey! An Interruption and Time Tracking Command line app.β13Nov 19, 2024Updated last year
- Deploy on Railway without the complexity - Free Credits Offer β’ AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- An implementation of memcpy for amd64 with clang/gccβ14Feb 7, 2022Updated 4 years ago
- A curated list of awesome Concur resources and related projects.β10Dec 1, 2020Updated 5 years ago
- A Jenkins plugin to view the dependency graphβ17Mar 14, 2024Updated 2 years ago
- β10Jul 12, 2021Updated 4 years ago
- Constructive Interpretations of HoTTβ36Aug 26, 2020Updated 5 years ago
- SWI-Prolog lambda runtimeβ17Aug 12, 2024Updated last year
- Throwing rocks against the wallβ13Apr 8, 2023Updated 3 years ago
- A Kotlin Multi-Platform ecosystem for symbolic AIβ113Updated this week
- β11Apr 18, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI β’ AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A type-driven and high-performance ORM framework in Rustβ31Jun 13, 2025Updated 10 months ago
- Windows-standard default configuration and keybindings for Spacemacsβ15Mar 16, 2017Updated 9 years ago
- A VS Code extension that provides language support for prologβ104Oct 30, 2023Updated 2 years ago
- CUDA Extension Wranglerβ26Aug 21, 2019Updated 6 years ago
- Markdown parser for SWI-Prolog.β23Oct 22, 2020Updated 5 years ago
- A plugin for IntelliJ Platform to interact with Leanpubβ12Apr 14, 2016Updated 10 years ago
- π¦ kernelβ22Mar 13, 2025Updated last year