denisrosset / alasc
Computational Group Theory in Scala. It's Scala permuted!
☆21Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for alasc
- Invertible syntax and partial isomorphisms for Scala☆31Updated 6 years ago
- A Scala library which talks to Isabelle (DISCONTINUED)☆38Updated 4 years ago
- Fun and Games with Fix, Cofree, and Doobie☆39Updated 8 years ago
- A recursion schemes micro-library☆21Updated 4 years ago
- prototyping logic programming in Scala☆40Updated 2 years ago
- A utility harness for testing free programs (built on specs2)☆29Updated 3 years ago
- Concise syntax for polymorphic values in Scala 2.x.☆53Updated 2 years ago
- A library which is not recognized as citizen of any infrastructure.☆26Updated 4 years ago
- Type-level API for standard collections☆33Updated 8 years ago
- Pure-functional random value generation☆118Updated 7 years ago
- Lambda syntax for Scala EDSLs☆26Updated last year
- Frege support for sbt☆53Updated this week
- General, extensible effect monad for Scala with message-passing semantics☆38Updated 7 years ago
- A type-parametric unboxed Option type for Scala☆60Updated 3 years ago
- A Coq-based synthesis of Scala programs which are correct-by-construction☆79Updated 2 years ago
- an exploration of subtyping-based category theory in scala☆24Updated 13 years ago
- Unique Functional Values for Scala☆17Updated 2 months ago
- Optics experimentation for Dotty☆32Updated 3 years ago
- Library for counting and enumerating things.☆44Updated 3 years ago
- Monadic folds☆70Updated 2 years ago
- Annotated Scala version of Oleg's Typed Tagless Final Interpreters: Lecture Notes☆33Updated 7 years ago
- Purely Functional, Final Tagless interpreter for the Befunge-93 esolang☆36Updated 6 years ago
- Generalized recursion for Scalameta. And a Scala template tool.☆17Updated 7 years ago
- ☆16Updated 8 years ago
- Algebraic Graphs in Scala☆26Updated 3 years ago
- Brent Yorgey's Typeclassopedia, translated to Scala☆24Updated 7 years ago
- ☆28Updated 4 years ago
- Khats, cats on Higher-Kinded amphets☆16Updated 8 years ago
- dhall-scala is a Scala library for consuming dhall configuration files from Scala programming language.☆39Updated 5 years ago