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
- YOW 2013 - Introduction to Functional Programming in Scala☆21Apr 26, 2017Updated 9 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.
- Topic and project suggestions for ScalaxHack 2016.☆10Dec 11, 2016Updated 9 years ago
- Functional Programing in Scala (in Idris) [Idris]☆16Mar 23, 2015Updated 11 years ago
- Functional Reactive Programming for Scala☆24Dec 3, 2016Updated 9 years ago
- ☆25Aug 11, 2014Updated 12 years ago
- property based testing library for Scala☆282Sep 2, 2026Updated last week
- ☆10Feb 18, 2016Updated 10 years ago
- Parser combinator library in Scala☆20Aug 29, 2019Updated 7 years ago
- Toy project serving to illustrate that it's possible to write pure functional systems in Scala.☆39Jun 18, 2015Updated 11 years ago
- sbt plugin for uploading Scala code coverage to coveralls☆23Feb 23, 2014Updated 12 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- my configuration files (nixos, .xmonad, tmux.conf, .bash*, profiles.clj, .stumpwmrc, etc...)☆21Mar 25, 2021Updated 5 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
- Scala port of Paolo Capriotti's optparse-applicative library. This repository is no longer maintained; newer versions exist in this fork:…☆71Apr 4, 2018Updated 8 years ago
- A library for developing languages with scoped binders (like forall or lambda).☆28Aug 21, 2018Updated 8 years ago
- A port of Bryan O'Sullivan's attoparsec from Haskell to Scala☆15Dec 21, 2010Updated 15 years ago
- A Scala library that provides various data structures.☆13May 6, 2019Updated 7 years ago
- Scalaz and Cats compatibility☆21Oct 25, 2017Updated 8 years ago
- An elegant RPC system for reasonable people☆308Jun 8, 2017Updated 9 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- The workspace for ScalaUA 2019 presentation, "Thinking Functionally"☆57Apr 2, 2019Updated 7 years ago
- Typeclass proposal for Dotty☆47Sep 15, 2018Updated 7 years ago
- Examples related to a meetup of New York Scala Enthusiasts☆18Jul 14, 2010Updated 16 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 14 years ago
- Toolkit for building lean and mean web services in Scala☆17Jan 15, 2016Updated 10 years ago
- Equites, a Scala chess playground☆17May 7, 2015Updated 11 years ago
- ☆15Mar 17, 2016Updated 10 years ago
- Scala enumeration implementation using type macros☆56Jan 24, 2013Updated 13 years ago
- ☆15Aug 18, 2017Updated 9 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 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
- The Scala runtime system for the Ermine programming language☆24Jun 10, 2014Updated 12 years ago
- Reusable persistence layer for use with Basho's Riak☆15Jul 16, 2012Updated 14 years ago
- Exploration of the Free monad without point☆11Oct 23, 2016Updated 9 years ago
- A pure Functional Reactive Programming implementation using a discrete time model☆31Aug 28, 2017Updated 9 years ago
- the EitherT monad transformer☆60Mar 2, 2026Updated 6 months ago
- Frege support for sbt☆53Jul 4, 2026Updated 2 months ago