A Prolog Implementation(Internal DSL, External DSL, REPL) in Scala.
☆30Feb 19, 2010Updated 16 years ago
Alternatives and similar repositories for Prolog-in-Scala
Users that are interested in Prolog-in-Scala are comparing it to the libraries listed below
Sorting:
- Concurrent and distributed Prolog via join patterns (join calculus)☆12Mar 10, 2015Updated 10 years ago
- Plush - the comfy shell☆67Aug 22, 2014Updated 11 years ago
- Code repository for Implementing Graph Algorithms using Scala, Published by Packt☆16Jan 30, 2023Updated 3 years ago
- Lua/Terra + Java Native Interface☆21Mar 3, 2017Updated 9 years ago
- The plugin allows to work with SBT projects in Netbeans☆37May 2, 2014Updated 11 years ago
- ☆44Dec 27, 2025Updated 2 months ago
- Extended DCG syntax for Prolog by Peter Van Roy☆21Mar 22, 2018Updated 7 years ago
- A text editor for Scala programmers☆34Dec 10, 2011Updated 14 years ago
- 【VBA】セレニウム、WebDriver、VBAJSONを使わずにChromeとEdgeを操作する☆11May 18, 2024Updated last year
- 70+ universal, self-contained skills that make any AI agent better at real-world tasks. Not a link directory — every skill is a complete,…☆38Feb 12, 2026Updated 3 weeks ago
- StreamlitとLangGraphで実装したHuman-in-the-loop広告コピー文生成アプリケーション☆11Feb 15, 2025Updated last year
- Public repository to host our Checker IP written in SVA that is ported to run on open-source Verilator.☆12Mar 31, 2023Updated 2 years ago
- An implementation of derivative parsing in the parser combinator framework☆59Dec 2, 2010Updated 15 years ago
- Composable folds☆13Jul 18, 2018Updated 7 years ago
- Derive Scala code for your HTTP API from swagger!☆38Aug 12, 2024Updated last year
- ☆13Aug 11, 2025Updated 6 months ago
- ☆12Dec 12, 2019Updated 6 years ago
- A TensorFlow 2.0 .whl file compiled with an old processor/computer☆11Dec 12, 2020Updated 5 years ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆14Jan 21, 2017Updated 9 years ago
- Simple Akka HTTP project implemented to describe how to build Microservices with Consumer Driven Contracts testing approach☆11Feb 15, 2018Updated 8 years ago
- ProTIP permet de caractériser la connectivité réelle entre composants d'une architecture PCI Express☆11Nov 9, 2023Updated 2 years ago
- A thin scala wrapper for Java NIO.2, built on cats-effect 🐱☆12Jun 19, 2023Updated 2 years ago
- A reinforcement learning package implemented in Torch☆11Jan 24, 2016Updated 10 years ago
- Results of my master thesis. Conditional invertible neural networks in the freia framework were used to dertermine the CO2 concentration …☆10Jan 12, 2020Updated 6 years ago
- ☆22Feb 3, 2026Updated last month
- ☆10Sep 15, 2024Updated last year
- Python library for USB2FIR, an USB interface board for MLX90640☆14Nov 7, 2019Updated 6 years ago
- Dealing with common type inference nuances in Scala☆39Jul 16, 2018Updated 7 years ago
- Deep Learning (PyTorch) Models Deployment using SQL databases☆10Jul 25, 2021Updated 4 years ago
- MySQL UDF executing Lua code with storage engine API☆19May 18, 2017Updated 8 years ago
- Spark Custome Stream Source and Sink☆12Jan 19, 2019Updated 7 years ago
- Tiny framework for solving constraint satisfaction problems (CSP) with discrete and finite domains. This is a Scala-based port of the ori…☆10May 13, 2016Updated 9 years ago
- GUI for interactive statistical analysis in Julia☆13Feb 8, 2020Updated 6 years ago
- ☆15Feb 27, 2025Updated last year
- sbt plugin to upload SCIP indexes to Sourcegraph for precise code intelligence☆16Updated this week
- ☆10Nov 20, 2014Updated 11 years ago
- Types and functions for working with continued fractions in Julia☆12Feb 7, 2022Updated 4 years ago
- Simple JACK synth experiment☆13Aug 3, 2019Updated 6 years ago
- A Scala version of my `sbtmkdirs` shell script☆11Feb 27, 2021Updated 5 years ago