stew / scatur
A Turing Machine encoded in the scala type system
☆41Updated 12 years ago
Related projects ⓘ
Alternatives and complementary repositories for scatur
- Forget your methods☆41Updated 6 years ago
- Library that provides those stupid little IO utility methods you always end up needing.☆26Updated 6 years ago
- Scala micro-library providing utilities for capturing implicits.☆18Updated 3 years ago
- Concise syntax for polymorphic values in Scala 2.x.☆53Updated 2 years ago
- IO types and classes for Scala.☆42Updated 7 years ago
- Monadic folds☆70Updated 2 years ago
- Cats instances and classes which are outlaws, miscreants, and ne'er-do-wells.☆62Updated 6 years ago
- A Scala implementation of hedgehog using the typelevel libraries☆29Updated 4 years ago
- Alternative to Free monads☆34Updated 8 years ago
- Integration between jawn and fs2☆38Updated last week
- Interoperability libraries for Shapeless☆77Updated 7 years ago
- ☆33Updated 5 years ago
- ☆35Updated 4 years ago
- Multisets for Scala☆85Updated 3 years ago
- Interop between fs2 and cats☆44Updated 4 years ago
- Invertible syntax and partial isomorphisms for Scala☆31Updated 6 years ago
- A type-parametric unboxed Option type for Scala☆60Updated 3 years ago
- opentracing for pure applications☆17Updated 5 years ago
- Proof-of-concept Prolog compiler that compiles down to Scala implicits.☆20Updated 8 years ago
- Work in progress: Simpler and more powerful alternative to Scala's built-in for-comprehension syntax☆25Updated 8 years ago
- Library for deep embedding of DSLs based on Scala macros.☆74Updated 8 years ago
- Dynamically switch between the JVM target and versions of Scala.js in a Scala project☆24Updated 4 years ago
- Extensible protocols for Scala☆13Updated 8 years ago
- Leibniz equivalence and Liskov substitutability library for Scala.☆36Updated 2 years ago
- Adds useful methods to scala & java classes.☆35Updated 2 years ago
- A TypeScript compiler written in Scala (wip)☆15Updated 8 years ago