Phosphorus15 / intellij-prologView external linksLinks
Prolog plugin for Intellij IDEA
☆28Mar 5, 2023Updated 2 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
- only for 彩虹桥, use https://github.com/niltok/tesseract-lite if you want to deploy☆52May 12, 2023Updated 2 years ago
- The formal development repository for Pr47☆21Feb 21, 2023Updated 2 years ago
- Prolog Development Tool for Eclipse (PDT) -- http://sewiki.iai.uni-bonn.de/research/pdt/☆31Mar 5, 2021Updated 4 years ago
- Multi-platform file manager☆27Feb 6, 2026Updated last week
- [WIP] BREAD operate system based on X86_64☆50Feb 11, 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
- ☆14Feb 12, 2025Updated last year
- A curated list of awesome JavaFX libraries, books, frameworks, etc...☆10Apr 25, 2020Updated 5 years ago
- Seaside wrapper for Bootstrap 5 on Pharo☆11Jul 26, 2024Updated last year
- 在 Telegram 上快速模仿迟先生卖弱。☆10Oct 28, 2021Updated 4 years ago
- Package to Compute VPC Percentiles & Prediction Intervals Developed by Certara☆11Jan 27, 2026Updated 2 weeks ago
- Webside API implementation in Pharo☆12Oct 20, 2025Updated 3 months ago
- stylish-haskell support for VS code☆14Jan 15, 2021Updated 5 years ago
- A proc macro regex library to match an arbitrary string or byte array to a regular expression.☆11Jun 5, 2022Updated 3 years ago
- EDIFACT Golang parser☆10Apr 6, 2021Updated 4 years ago
- An implementation of memcpy for amd64 with clang/gcc☆15Feb 7, 2022Updated 4 years ago
- ☆11Feb 3, 2026Updated last week
- 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
- This is a repo for revising elements of "Interactive and Dynamic Graphics for Data Analysis".☆11Jan 23, 2026Updated 3 weeks ago
- All code and content for my blog.☆15Sep 23, 2018Updated 7 years ago
- Pure Java library for creating LLVM IR☆12Jun 9, 2013Updated 12 years ago
- ☆10Jul 12, 2021Updated 4 years ago
- Hey! An Interruption and Time Tracking Command line app.☆12Nov 19, 2024Updated last year
- Convert shared libraries into relocatable objects☆10Dec 23, 2023Updated 2 years ago
- Theme for the Ghost blogging platform☆29May 25, 2014Updated 11 years ago
- All necessary files in EFI partition to get Mac OS X (Hackintosh) + Kali Linux (without GRUB) + Windows triple-boot working in single HDD…☆12Oct 19, 2017Updated 8 years ago
- HTML+CSS to PDF in Node.JS☆13Jul 31, 2017Updated 8 years ago
- Tools for creating and manipulating immutable filesets☆13Dec 9, 2018Updated 7 years ago
- Haskell Debugger Extension for Visual Studio Code.☆53Feb 4, 2026Updated last week
- Microdown is a cleaned and simpler markdown but with more powerful features such as extensions.☆43Updated this week
- Compiling finite generators to digital logic. WIP☆13Aug 24, 2020Updated 5 years ago
- it's popular to keep reference lists on github☆13May 2, 2022Updated 3 years ago
- SBoost is a SIMD-based C++ library enabling fast filtering and decoding of lightweight encoded data☆11Jul 6, 2021Updated 4 years ago
- 在 Telegram 上快速模仿迟先生卖弱。☆16Jan 19, 2026Updated 3 weeks ago