jarekratajski / badlamLinks
Lambda analysis package
☆20Updated 4 years ago
Alternatives and similar repositories for badlam
Users that are interested in badlam are comparing it to the libraries listed below
Sorting:
- ☆13Updated 9 years ago
- Free Monad in Java☆29Updated this week
- Higher kinded types for Java☆121Updated 3 years ago
- A spoonful of ADT in your Java.☆49Updated 2 years ago
- Immutable Json library for java☆16Updated last year
- Gradle plugin for compiling Frege projects☆25Updated 4 years ago
- A collection of shared interfaces for evidence-based Higher Kinded Types in the JVM☆99Updated 5 years ago
- Sample implementation of functional lenses in Java☆24Updated 13 years ago
- collections and other foundation classes☆29Updated 9 years ago
- Higher Kinded Type machinery for Java☆82Updated 3 years ago
- Focused and purely functional event sourcing library for Java☆14Updated 8 years ago
- Power assertions (as known from Groovy and Spock) for the Scala language.☆191Updated 7 years ago
- Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala☆76Updated 2 years ago
- Frege support for IntelliJ IDEA☆14Updated 9 years ago
- ☆13Updated 10 years ago
- adt4j - Algebraic Data Types for Java☆147Updated 7 years ago
- Java 8 functional magic☆88Updated 3 years ago
- Automatic derivation of functional-java typeclasse instances and optics☆22Updated 5 years ago
- Pure functional parser combinator library which supports both applicative and monadic styles of parsing.☆32Updated 4 years ago
- Java monadic parser combinator framework for constructing LL(1) parsers☆122Updated 7 months ago
- Effect Handlers for Java / the JVM☆29Updated 5 years ago
- ☆23Updated 10 years ago
- GUI for the frege repl☆26Updated 8 years ago
- Bartosz Milewski great book on Category Theory implemented in scala, with property Tests☆33Updated 7 years ago
- An Intellij Plugin for the Eta programming language☆51Updated 7 years ago
- Implementation of the Try-Success-Failure Scala API for Java☆111Updated 10 years ago
- Brent Yorgey's Typeclassopedia, translated to Scala☆26Updated 8 years ago
- Monadic effect worlds for interacting safely with mutable data.☆38Updated 10 years ago
- Functional programming in Groovy☆67Updated 10 years ago
- Recaffeinating Java ☕️ with custom semantics and extensions☆52Updated 3 years ago