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
Sorting:
- A toy IO library for Arend☆18Feb 12, 2021Updated 5 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
- The formal development repository for Pr47☆21Feb 21, 2023Updated 3 years ago
- Prolog Development Tool for Eclipse (PDT) -- http://sewiki.iai.uni-bonn.de/research/pdt/☆31Mar 5, 2021Updated 5 years ago
- 恋学，全称Cre的恋爱学☆46Dec 10, 2022Updated 3 years ago
- Constructive Interpretations of HoTT☆36Aug 26, 2020Updated 5 years ago
- A type-driven and high-performance ORM framework in Rust☆31Jun 13, 2025Updated 8 months ago
- An incomplete ZMachine interpreter written in C#☆10Jun 21, 2025Updated 8 months ago
- Seaside wrapper for Bootstrap 5 on Pharo☆11Jul 26, 2024Updated last year
- A curated list of awesome JavaFX libraries, books, frameworks, etc...☆11Apr 25, 2020Updated 5 years ago
- 在 Telegram 上快速模仿迟先生卖弱。☆10Oct 28, 2021Updated 4 years ago
- Software for creating annotated texts and vocabulary flashcards for language learning☆10Apr 25, 2023Updated 2 years ago
- Instances for QuickCheck classes☆17Jan 8, 2026Updated 2 months ago
- Convert shared libraries into relocatable objects☆10Dec 23, 2023Updated 2 years ago
- EDIFACT Golang parser☆10Apr 6, 2021Updated 4 years ago
- Conditionally enter a context manager☆10Jun 3, 2024Updated last year
- Webside API implementation in Pharo☆12Oct 20, 2025Updated 4 months ago
- A proc macro regex library to match an arbitrary string or byte array to a regular expression.☆11Jun 5, 2022Updated 3 years ago
- LiveWeb: web app framework for Smalltalk☆13Feb 1, 2024Updated 2 years ago
- A variant of Ahash written in C++.☆10Mar 20, 2023Updated 2 years ago
- Hey! An Interruption and Time Tracking Command line app.☆12Nov 19, 2024Updated last year
- All code and content for my blog.☆15Sep 23, 2018Updated 7 years ago
- 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 month
- Mojolicious::HTMX - </> htmx plugin for Mojolicious☆11Aug 26, 2024Updated last year
- ☆10Feb 25, 2026Updated last week
- Package to Compute VPC Percentiles & Prediction Intervals Developed by Certara☆11Mar 2, 2026Updated last week
- Microdown is a cleaned and simpler markdown but with more powerful features such as extensions.☆43Updated this week
- Todo App in Quarkus with Hotwire☆11Updated this week
- Python interface to XSB Prolog, SWI Prolog, ECLiPSe Prolog, Datalog Educational System and Flora-2/Ergo Lite☆10Feb 27, 2021Updated 5 years ago
- Export Medium articles into Hugo format☆12Apr 12, 2024Updated last year
- GraphQL Batch Processing Library☆14Feb 20, 2021Updated 5 years ago
- type-system, revised unification algorithm and runtime time representations☆14Dec 12, 2019Updated 6 years ago
- Conference on Homotopy Type Theory 2023☆13Jan 24, 2024Updated 2 years ago
- Rust bindings for SPDK☆12Mar 5, 2020Updated 6 years ago
- Fuzzy cognitive maps python library☆11Jan 14, 2022Updated 4 years ago
- Compiling finite generators to digital logic. WIP☆13Aug 24, 2020Updated 5 years ago
- base for zig sdl projects☆15Dec 17, 2022Updated 3 years ago
- High level Lean 4 FFI for Rust☆14Mar 16, 2024Updated last year