nau / lasca-compiler
Lasca is Scala shifted towards Haskell.
☆128Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for lasca-compiler
- Extensible algebraic effects with handlers☆144Updated last week
- A friendly guide for leveraging the power of recursion schemes in real-world applications☆107Updated 4 years ago
- A Coq-based synthesis of Scala programs which are correct-by-construction☆79Updated 2 years ago
- Frege support for sbt☆53Updated this week
- ☆107Updated 10 months ago
- Extensible effects for Scala☆37Updated 2 years ago
- Comprehensions for Arrows and Monoidal categories☆61Updated last week
- Implementation and benchmarking of Scala Vectors with relaxed radix balanced trees for more efficient concatenations☆56Updated 5 years ago
- ☆80Updated 3 years ago
- Verified message-passing programs in Dotty☆47Updated 3 years ago
- an implementation of Wadler's a prettier printer☆187Updated last week
- Lambda syntax for Scala EDSLs☆26Updated last year
- Declarative concurrency in Scala - The implementation of the chemical machine☆156Updated 2 years ago
- ☆187Updated 4 months ago
- Linear types in Scala☆39Updated this week
- My tinkering to understand the typeclassopedia.☆102Updated 6 months ago
- Purely Functional, Final Tagless interpreter for the Befunge-93 esolang☆36Updated 6 years ago
- Chris Okasaki’s Purely Functional Data Structures in Scala☆31Updated 12 years ago
- Scala library for free applicative schemas capable of parsing/rendering sums-of-products data structures.☆108Updated 6 years ago
- A Scala implementation of parsing with derivatives☆197Updated 4 years ago
- An sbt plugin that integrates Eta into Scala projects.☆57Updated 5 years ago
- A talk on using recursion schemes in FP.☆218Updated 7 months ago
- Talks on category-parametric programming.☆22Updated 11 months ago
- Supporting material for ScalaWorld 2015.☆99Updated 9 years ago
- Limits of Scala typechecking speed☆156Updated 3 years ago
- The pure testing library by scalaz.☆89Updated 5 years ago
- Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism☆257Updated 3 years ago
- Catless Category Theory in Dotty/Scala 3 meow ~☆43Updated last year
- Library for counting and enumerating things.☆44Updated 3 years ago