sonoisa / Prolog-in-ScalaView external linksLinks
A Prolog Implementation(Internal DSL, External DSL, REPL) in Scala.
☆30Feb 19, 2010Updated 15 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
- The plugin allows to work with SBT projects in Netbeans☆37May 2, 2014Updated 11 years ago
- Lua/Terra + Java Native Interface☆21Mar 3, 2017Updated 8 years ago
- ☆44Dec 27, 2025Updated last month
- 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
- StreamlitとLangGraphで実装したHuman-in-the-loop広告コピー文生成アプリケーション☆11Feb 15, 2025Updated 11 months ago
- 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
- A reinforcement learning package implemented in Torch☆11Jan 24, 2016Updated 10 years ago
- Derive Scala code for your HTTP API from swagger!☆38Aug 12, 2024Updated last year
- ☆10Sep 15, 2024Updated last year
- Simple Akka HTTP project implemented to describe how to build Microservices with Consumer Driven Contracts testing approach☆11Feb 15, 2018Updated 7 years ago
- ☆13Aug 11, 2025Updated 6 months ago
- ☆12Dec 12, 2019Updated 6 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
- A thin scala wrapper for Java NIO.2, built on cats-effect 🐱☆12Jun 19, 2023Updated 2 years ago
- Composable folds☆13Jul 18, 2018Updated 7 years ago
- ProTIP permet de caractériser la connectivité réelle entre composants d'une architecture PCI Express☆10Nov 9, 2023Updated 2 years ago
- Python library for USB2FIR, an USB interface board for MLX90640☆14Nov 7, 2019Updated 6 years ago
- A TensorFlow 2.0 .whl file compiled with an old processor/computer☆11Dec 12, 2020Updated 5 years ago
- Dealing with common type inference nuances in Scala☆39Jul 16, 2018Updated 7 years ago
- Generate scala sources for sbt 0.10☆30Jul 10, 2015Updated 10 years ago
- ☆10Nov 20, 2014Updated 11 years ago
- MySQL UDF executing Lua code with storage engine API☆19May 18, 2017Updated 8 years ago
- Old website for the UK Society of Research Software Engineers - not the source for the live site at rse.ac.uk. To suggest changes to that…☆12Jun 4, 2024Updated last year
- NLP2025 のチュートリアル「地理情報と言語処理 実践入門」の資料とソースコード☆17Feb 5, 2026Updated last week
- An extended version of Scala's scaladoc command☆21Jul 2, 2011Updated 14 years ago
- ☆10Aug 23, 2015Updated 10 years ago
- This is a study repository for implementing a Model Context Protocol (MCP) client. It features a simple interactive MCP client implemente…☆11Apr 26, 2025Updated 9 months ago
- Ono laboratory audio signal processing exercise for beginners.☆19May 10, 2023Updated 2 years ago
- Sample of Elasticsearch Docker using Sudachi analizer☆10Sep 18, 2023Updated 2 years ago
- sbt plugin to upload SCIP indexes to Sourcegraph for precise code intelligence☆15Updated this week
- A small configuration library written in Haskell☆18Oct 12, 2019Updated 6 years ago
- ☆12Apr 3, 2018Updated 7 years ago
- GUI for interactive statistical analysis in Julia☆13Feb 8, 2020Updated 6 years ago