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
- 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.
- 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☆282Updated this 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
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- my configuration files (nixos, .xmonad, tmux.conf, .bash*, profiles.clj, .stumpwmrc, etc...)☆21Mar 25, 2021Updated 5 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
- The workspace for ScalaUA 2019 presentation, "Thinking Functionally"☆57Apr 2, 2019Updated 7 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.
- Typeclass proposal for Dotty☆47Sep 15, 2018Updated 8 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
- Java, but worse☆11Sep 23, 2017Updated 9 years ago
- Scala enumeration implementation using type macros☆56Jan 24, 2013Updated 13 years ago
- ☆15Aug 18, 2017Updated 9 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- 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☆60Sep 19, 2026Updated 2 weeks ago
- Frege support for sbt☆53Jul 4, 2026Updated 3 months ago