regb / scabolic
Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.
☆32Updated 10 years ago
Alternatives and similar repositories for scabolic:
Users that are interested in scabolic are comparing it to the libraries listed below
- prototyping logic programming in Scala☆41Updated 2 years ago
- Modified version of dotty suporting language specific and library-specific optimizations☆37Updated 8 years ago
- Invertible syntax and partial isomorphisms for Scala☆31Updated 7 years ago
- A fast parser combinator library, with extra querying goodness☆34Updated 8 years ago
- an exploration of subtyping-based category theory in scala☆25Updated 14 years ago
- the Scala delimited continuations plugin and library☆89Updated 4 years ago
- Data-centric metaprogramming for Scala☆17Updated 9 years ago
- A library which is not recognized as citizen of any infrastructure.☆26Updated 5 years ago
- Fast streams for Scala 3☆52Updated last month
- Khats, cats on Higher-Kinded amphets☆16Updated 8 years ago
- Invertible syntax for Scala.☆13Updated 8 years ago
- Lambda syntax for Scala EDSLs☆26Updated last year
- Proof-of-concept Prolog compiler that compiles down to Scala implicits.☆20Updated 9 years ago
- A type-parametric unboxed Option type for Scala☆61Updated 3 years ago
- Scala Algebra System☆16Updated 2 months ago
- Library for counting and enumerating things.☆47Updated 3 years ago
- Functional Language extending the enriched effect calculus. Linear usage of effects. Implemented with Scala 3.☆20Updated 4 years ago
- ☆15Updated 4 years ago
- ☆57Updated 7 years ago
- Leibniz equivalence and Liskov substitutability library for Scala.☆37Updated 2 years ago
- dhall-scala is a Scala library for consuming dhall configuration files from Scala programming language.☆39Updated 5 years ago
- A Scala library which talks to Isabelle (DISCONTINUED)☆38Updated 4 years ago
- Problem solving à la carte☆20Updated 2 years ago
- Awesome scala compiler guides/papers/videos/talks☆21Updated 9 years ago
- typed tagless final interpreters☆13Updated 8 years ago
- A compiler plug-in to control object lifetimes in Scala☆63Updated 7 years ago
- Implementing Abstract Binding Trees (in Scala, ...)☆19Updated 9 years ago
- Axle Domain Specific Language for Scientific Cloud Computing and Visualization☆67Updated last month
- Generalized, incremental parser combinators for scalaz-stream☆62Updated 10 years ago
- gestalt : portable and solid macros for Scala☆31Updated 7 years ago