channingwalton / scala-contractsLinks
A port of http://web.archive.org/web/20130326233424/http://contracts.scheming.org/- an implementation of Composing contracts: an adventure in financial engineering, by Simon Peyton Jones
☆40Updated 9 years ago
Alternatives and similar repositories for scala-contracts
Users that are interested in scala-contracts are comparing it to the libraries listed below
Sorting:
- Fun and Games with Fix, Cofree, and Doobie☆40Updated 8 years ago
- Scala implementation of "Freer Monads, More Extensible Effects" - see http://okmij.org/ftp/Haskell/extensible/more.pdf☆49Updated 7 months ago
- My tinkering to understand the typeclassopedia.☆102Updated 2 months ago
- Alternative to Free monads☆34Updated 8 years ago
- An sbt plugin that integrates Eta into Scala projects.☆57Updated 6 years ago
- Frege support for sbt☆53Updated this week
- Source code for the Interpreters workshop at Scala Exchange 2015.☆27Updated 9 years ago
- Monadic Scala API for CouchDB☆44Updated 10 years ago
- An exploration of purely functional library design in Scala.☆103Updated 9 years ago
- Library for deep embedding of DSLs based on Scala macros.☆75Updated 9 years ago
- Supporting material for ScalaWorld 2015.☆100Updated 9 years ago
- Interoperability libraries for Shapeless☆77Updated 8 years ago
- Datomisca: a Scala API for Datomic☆131Updated 8 years ago
- Monadic folds☆69Updated 2 years ago
- An implementation of Huet’s Zipper for Scala and Scala.js that is intended to be usable in many common scenarios☆47Updated last year
- An onion architecture example☆69Updated 8 years ago
- A softer introduction to fp in scala course, based on patterns-in-types and the nicta course.☆57Updated 7 years ago
- encoding of Rúnar's "Reasonably priced monads"☆21Updated 11 years ago
- Scala library for free applicative schemas capable of parsing/rendering sums-of-products data structures.☆108Updated 7 years ago
- Companion booklet for "Functional Programming in Scala"☆56Updated 10 years ago
- Pure-functional random value generation☆119Updated 7 years ago
- A syntax for type-safe effectful computations in Scala☆174Updated 9 years ago
- ☆83Updated 5 years ago
- Example usage of scalaz and uncommon Scala features.☆83Updated 8 years ago
- Scala Spores, safe mobile closures.☆128Updated 7 years ago
- An effect monad for Scalaz 7.2☆55Updated 7 years ago
- Free monad tank game and examples☆79Updated 11 years ago
- A compiler plug-in to control object lifetimes in Scala☆65Updated 8 years ago
- A scala macro for reasonable lazy semantics☆85Updated last week
- Scala collection views meet Transducers hype☆42Updated 9 years ago