sonoisa / Prolog-in-ScalaLinks
A Prolog Implementation(Internal DSL, External DSL, REPL) in Scala.
☆30Updated 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:
- The Scala Programming Language: Virtualized☆104Updated 10 years ago
- Generalized, incremental parser combinators for scalaz-stream☆62Updated 10 years ago
- GPU programming in Scala☆61Updated 13 years ago
- Graphviz Scala bindings☆54Updated 8 years ago
- Scala API Search☆38Updated 9 years ago
- A fast parser combinator library, with extra querying goodness☆34Updated 8 years ago
- Modified version of dotty suporting language specific and library-specific optimizations☆37Updated 8 years ago
- Library for deep embedding of DSLs based on Scala macros.☆74Updated 9 years ago
- Axle Domain Specific Language for Scientific Cloud Computing and Visualization☆68Updated 3 months ago
- Transducers are a way to build reusable transformations.☆66Updated 7 years ago
- Scala port of Paolo Capriotti's optparse-applicative library. This repository is no longer maintained; newer versions exist in this fork:…☆72Updated 7 years ago
- AI library developed in functional scala☆14Updated 9 years ago
- Scala macro that produces JavaScript from Scala code.☆204Updated 5 years ago
- An improved Machine Learning library in Scala.☆28Updated 9 years ago
- ☆35Updated 9 years ago
- Gust is a set of GPU extensions for Breeze.☆33Updated 10 years ago
- Alternate Scala XML library☆78Updated last year
- ☆21Updated last week
- A native binding generator for the Scala language.☆35Updated 7 years ago
- Data structure experimentation in scala☆15Updated 10 years ago
- Scala pastebin☆84Updated 8 years ago
- Ace facade types for Scala.js☆21Updated 7 years ago
- A Probabilistic Functional Programming Language DSL in Scala☆63Updated 9 years ago
- Generic framework for development of domain-specific compilers in Scala☆96Updated 7 years ago
- Interoperability libraries for Shapeless☆77Updated 8 years ago
- A Turing Machine encoded in the scala type system☆41Updated 13 years ago
- ☆57Updated 7 years ago
- the Scala delimited continuations plugin and library☆89Updated 4 years ago
- A text editor for Scala programmers☆34Updated 13 years ago
- Customizable graph algorithms in Scala☆19Updated 11 months ago