Base project for "Patterns in Types" jam, for LambdaJam Australia conference.
☆24Nov 17, 2013Updated 12 years ago
Alternatives and similar repositories for lambdajam-patterns-in-types
Users that are interested in lambdajam-patterns-in-types are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Data structure experimentation in scala☆15May 13, 2015Updated 11 years ago
- Rebind is a Scala port/remake of the Haskell retry library.☆16Jun 8, 2015Updated 11 years ago
- DEFUNCT: use https://bitbucket.org/ermine-language/ermine-scala ; see README☆20May 2, 2015Updated 11 years ago
- Functional Programing in Scala (in Idris) [Idris]☆16Mar 23, 2015Updated 11 years ago
- Candy Crush (Scala Programming @ Madrid - December 2016)☆10Dec 15, 2016Updated 9 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- my configuration files (nixos, .xmonad, tmux.conf, .bash*, profiles.clj, .stumpwmrc, etc...)☆21Mar 25, 2021Updated 5 years ago
- Topic and project suggestions for ScalaxHack 2016.☆10Dec 11, 2016Updated 9 years ago
- sbt plugin for uploading Scala code coverage to coveralls☆23Feb 23, 2014Updated 12 years ago
- property based testing library for Scala☆281Updated this week
- ☆10Feb 18, 2016Updated 10 years ago
- Toy project serving to illustrate that it's possible to write pure functional systems in Scala.☆39Jun 18, 2015Updated 11 years ago
- A Scala library that provides various data structures.☆13May 6, 2019Updated 7 years ago
- 🤖Github bot for checking code formatting with scalafmt☆16Jun 3, 2018Updated 8 years ago
- A minimalist wrapper for Netty in terms of scalaz-stream☆69Nov 16, 2016Updated 9 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Equites, a Scala chess playground☆17May 7, 2015Updated 11 years ago
- Scala enumeration implementation using type macros☆56Jan 24, 2013Updated 13 years ago
- The Scala runtime system for the Ermine programming language☆24Jun 10, 2014Updated 12 years ago
- A pure Functional Reactive Programming implementation using a discrete time model☆31Aug 28, 2017Updated 8 years ago
- An elegant RPC system for reasonable people☆309Jun 8, 2017Updated 9 years ago
- The workspace for ScalaUA 2019 presentation, "Thinking Functionally"☆57Apr 2, 2019Updated 7 years ago
- Examples related to a meetup of New York Scala Enthusiasts☆18Jul 14, 2010Updated 16 years ago
- Typeclass proposal for Dotty☆47Sep 15, 2018Updated 7 years ago
- Scalaz and Cats compatibility☆21Oct 25, 2017Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A Scala wrapper for Twitter4J☆16Jan 22, 2014Updated 12 years ago
- (documentation: doc/*) run simple build tool in the background feeding compilation results into Vim quickfix window. It contrast to :set …☆20Aug 20, 2012Updated 13 years ago
- Deploying things with dependencies to AWS EC2☆17Oct 2, 2017Updated 8 years ago
- Translation of Agda code in A. Löh and J. P. Magalhães *Generic Programming with Indexed Functors* to Idris.☆14Apr 5, 2017Updated 9 years ago
- Build your own stronghold and defend against hordes of monsters☆25Dec 7, 2013Updated 12 years ago
- the EitherT monad transformer☆59Mar 2, 2026Updated 4 months ago
- ☆15Mar 17, 2016Updated 10 years ago
- Exploration of the Free monad without point☆11Oct 23, 2016Updated 9 years ago
- Reusable persistence layer for use with Basho's Riak☆15Jul 16, 2012Updated 14 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- DEPRECATED: Reasonable monitoring for distributed systems☆145Mar 1, 2017Updated 9 years ago
- Frege support for sbt☆53Jul 4, 2026Updated last week
- TeX files for summary of category theory☆15Apr 9, 2016Updated 10 years ago
- The ensime for vim☆54Apr 29, 2014Updated 12 years ago
- Monadic Scala API for CouchDB☆44Jan 13, 2015Updated 11 years ago
- ☆17Sep 12, 2016Updated 9 years ago
- ☆83Mar 22, 2020Updated 6 years ago