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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Scala XMPP Bot Framework☆17Mar 20, 2012Updated 14 years ago
- Scala 2.10 macros that help you delegate to other methods declaratively☆16Feb 17, 2014Updated 12 years ago
- ☆29Oct 27, 2014Updated 11 years ago
- Executable documentation for Scala projects. Let your users write specifications in human-readable HTML, then run them as tests against y…☆21Feb 27, 2020Updated 6 years ago
- A simple but powerful Scala command line parser☆19Apr 9, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A Scala Swing component that wraps javax.swing.JTree☆15Feb 4, 2013Updated 13 years ago
- ☆83May 10, 2011Updated 15 years ago
- Scala Monadic Constraint Solver☆17Nov 3, 2014Updated 11 years ago
- RESTful URL Shortener for utf-8 vanity urls, written in Scala☆22Nov 22, 2011Updated 14 years ago
- A Functional Reactive Programming framework for Scala☆13Mar 12, 2013Updated 13 years ago
- A NoSql database and continuous map-reduce system written in Scala and Akka.☆44Oct 21, 2013Updated 12 years ago
- Type-Level Metaprogramming Library in Scala☆48May 19, 2014Updated 12 years ago
- A text editor for Scala programmers☆34Dec 10, 2011Updated 14 years ago
- immutable primitive array/NonEmptyArray wrapper for Scala☆33Jul 17, 2026Updated last week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Code repository for Implementing Graph Algorithms using Scala, Published by Packt☆16Jan 30, 2023Updated 3 years ago
- An implementation of the W3C Selectors Level 3 specification In Scala.☆23Jul 7, 2012Updated 14 years ago
- An sbt plugin for adding sounds to task completions☆28May 5, 2018Updated 8 years ago
- Plugin for the Scala IDE to convert Java to Scala☆31May 25, 2015Updated 11 years ago
- ☆25Feb 17, 2012Updated 14 years ago
- Concurrent and distributed Prolog via join patterns (join calculus)☆12Mar 10, 2015Updated 11 years ago
- Exploration of Scala macros☆151Mar 25, 2013Updated 13 years ago
- Scala port of JBox2D☆21Jun 25, 2009Updated 17 years ago
- How hard could it be to replace SBT?☆60Sep 4, 2020Updated 5 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.
- Boilerplate-free Functional Lenses for Scala 2.10☆29Mar 1, 2013Updated 13 years ago
- A pure Functional Reactive Programming implementation using a discrete time model☆31Aug 28, 2017Updated 8 years ago
- An example of using JDO on Lifweb over GAE/J☆16Jun 10, 2022Updated 4 years ago
- Scala発火村の資料ですお☆30Oct 18, 2010Updated 15 years ago
- A Scala port of MiniKanren☆36Apr 16, 2017Updated 9 years ago
- A Type-Level Encoding of Natural Numbers as a Linked List of Bits☆11Oct 26, 2016Updated 9 years ago
- sbt plugin to upload SCIP indexes to Sourcegraph for precise code intelligence☆16Jun 2, 2026Updated last month
- Deprecated and superseded by https://github.com/scalamacros/paradise☆36Jan 27, 2014Updated 12 years ago
- Parser combinator library in Scala☆20Aug 29, 2019Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Port of scalaz 6.0.4 geo to the new scalaz 7.0.0☆18Sep 8, 2014Updated 11 years ago
- YAP is a high-performance Prolog compiler☆13Mar 11, 2011Updated 15 years ago
- DEFUNCT: use https://bitbucket.org/ermine-language/ermine-scala ; see README☆20May 2, 2015Updated 11 years ago
- Small framework for reactive programming in Scala☆33Mar 15, 2013Updated 13 years ago
- Immutable, in-memory B-Tree implementation for Scala☆25Aug 6, 2013Updated 12 years ago
- An abstract-interpretation based static analyzer written in Scala.☆33Mar 23, 2022Updated 4 years ago
- Asynchronous Distributed Key Value Pair database☆15Jan 17, 2014Updated 12 years ago