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 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.
- 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 11 years ago
- ☆10Feb 18, 2016Updated 10 years ago
- property based testing library for Scala☆282Updated this week
- Parser combinator library in Scala☆20Aug 29, 2019Updated 6 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
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 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 7 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☆309Jun 8, 2017Updated 9 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 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 13 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 8 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.
- 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 8 years ago
- the EitherT monad transformer☆60Mar 2, 2026Updated 5 months ago
- Frege support for sbt☆53Jul 4, 2026Updated last month