☆84Jul 1, 2013Updated 13 years ago
Alternatives and similar repositories for efftp
Users that are interested in efftp are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A library for developing languages with scoped binders (like forall or lambda).☆28Aug 21, 2018Updated 7 years ago
- sbt plugin for uploading Scala code coverage to coveralls☆23Feb 23, 2014Updated 12 years ago
- DEFUNCT: use https://bitbucket.org/ermine-language/ermine-scala ; see README☆20May 2, 2015Updated 11 years ago
- ☆29Oct 27, 2014Updated 11 years ago
- Pure-functional random value generation☆120Oct 8, 2017Updated 8 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.
- Proof-of-concept Prolog compiler that compiles down to Scala implicits.☆20Feb 2, 2016Updated 10 years ago
- Optimizing FreeMonads with other representations of the structure☆22Oct 31, 2014Updated 11 years ago
- Deprecated and superseded by https://github.com/scalamacros/paradise☆36Jan 27, 2014Updated 12 years ago
- ☆46Apr 2, 2020Updated 6 years ago
- Data structure experimentation in scala☆15May 13, 2015Updated 11 years ago
- immutable primitive array/NonEmptyArray wrapper for Scala☆33Updated this week
- Scala implementation of "Freer Monads, More Extensible Effects" - see http://okmij.org/ftp/Haskell/extensible/more.pdf☆49Jan 8, 2025Updated last year
- Interoperability libraries for Shapeless☆77May 21, 2017Updated 9 years ago
- A syntax for type-safe effectful computations in Scala☆174Apr 22, 2016Updated 10 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.
- Experimental foundation library for Scala focussed on efficiency and clean design☆78Feb 19, 2016Updated 10 years ago
- Power assertions (as known from Groovy and Spock) for the Scala language.☆191May 27, 2018Updated 8 years ago
- Scala compiler plugin which provides syntax for working with locally declared implicit values☆53Apr 18, 2015Updated 11 years ago
- DrScala - A doctor for your code☆17Mar 17, 2014Updated 12 years ago
- A stream processing library for Scala☆212Sep 29, 2016Updated 9 years ago
- An elegant RPC system for reasonable people☆309Jun 8, 2017Updated 9 years ago
- [abandoned] Hoogle-like documentation search engine, for scala☆89Apr 7, 2015Updated 11 years ago
- Type-Level Metaprogramming Library in Scala☆48May 19, 2014Updated 12 years ago
- ☆10Feb 18, 2016Updated 10 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Exploration of Scala macros☆151Mar 25, 2013Updated 13 years ago
- Exploration of the Free monad without point☆11Oct 23, 2016Updated 9 years ago
- Simple Scala Reflection☆34Apr 27, 2017Updated 9 years ago
- An sbt plugin for adding sounds to task completions☆28May 5, 2018Updated 8 years ago
- Type-level API for standard collections☆33Jun 6, 2016Updated 10 years ago
- an exploration of subtyping-based category theory in scala☆25Dec 22, 2010Updated 15 years ago
- scaladoc reloaded☆18Apr 17, 2016Updated 10 years ago
- macro-compat is a small library which allows you to compile macros with Scala 2.10.x which are written to the Scala 2.11/2 macro API.☆83Jun 7, 2019Updated 7 years ago
- A Turing Machine encoded in the scala type system☆41May 20, 2012Updated 14 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Typeclass-based HashSet/HashMap for Scala☆31Apr 2, 2017Updated 9 years ago
- Compiler plugin goodies for Scala (continuation of non-OpenCL part of ScalaCL)☆217Apr 9, 2015Updated 11 years ago
- Functional Reactive Programming for Scala☆24Dec 3, 2016Updated 9 years ago
- Enable cross-building of sbt plugins☆46Aug 13, 2017Updated 8 years ago
- Concise syntax for polymorphic values in Scala 2.x.☆55Apr 26, 2022Updated 4 years ago
- Looks up scaladoc.☆46Aug 4, 2013Updated 12 years ago
- Functional type classes for Scala☆180Mar 13, 2015Updated 11 years ago