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
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 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☆33Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 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
- Composable folds☆13Jul 18, 2018Updated 8 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
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- How hard could it be to replace SBT?☆60Sep 4, 2020Updated 6 years ago
- 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 9 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
- sbt plugin to upload SCIP indexes to Sourcegraph for precise code intelligence☆16Jun 2, 2026Updated 3 months ago
- A Type-Level Encoding of Natural Numbers as a Linked List of Bits☆11Oct 26, 2016Updated 9 years ago
- Deprecated and superseded by https://github.com/scalamacros/paradise☆36Jan 27, 2014Updated 12 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Parser combinator library in Scala☆20Aug 29, 2019Updated 7 years ago
- 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 13 years ago
- An abstract-interpretation based static analyzer written in Scala.☆33Mar 23, 2022Updated 4 years ago