☆15Mar 17, 2016Updated 10 years ago
Alternatives and similar repositories for tls-philly-rbtree-2016
Users that are interested in tls-philly-rbtree-2016 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆10Feb 18, 2016Updated 10 years ago
- ☆18Aug 15, 2015Updated 10 years ago
- A compiler plugin to add support for trailing commas in Scala 2.11☆36Jun 28, 2016Updated 9 years ago
- 🤖Github bot for checking code formatting with scalafmt☆16Jun 3, 2018Updated 7 years ago
- Type-level API for standard collections☆33Jun 6, 2016Updated 9 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Fix for SI-2712 implemented as a compiler plugin for Scala 2.11.8 and 2.10.6☆46Dec 15, 2017Updated 8 years ago
- A simple Play application with Frege☆20Nov 23, 2015Updated 10 years ago
- Example code from my presentation on shapeless type class derivation☆28Oct 11, 2015Updated 10 years ago
- Play JSON Reads/Writes instances for refined types☆24Updated this week
- Automatic functional lifting, mapping and folding.☆64Jul 23, 2017Updated 8 years ago
- Internet relay chat demo using scalaz-streams☆34Mar 7, 2016Updated 10 years ago
- Proof-of-concept Prolog compiler that compiles down to Scala implicits.☆20Feb 2, 2016Updated 10 years ago
- Generic encoders / decoders for the various kantan libraries.☆12Apr 10, 2025Updated 11 months ago
- Automatic argonaut codec derivation with shapeless☆100Aug 21, 2024Updated last year
- 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.
- Code for the submitted TyDe '16 extended abstract and C∘mp∘se '17 talk "`choose` Your Own Derivative"☆19May 18, 2017Updated 8 years ago
- Jolokia support for any artifacts built with sbt-native-packager☆12Mar 19, 2019Updated 7 years ago
- A Scala source code browser☆16Apr 9, 2017Updated 8 years ago
- SBT Auto Plugin to manage client side git hooks☆17Jan 4, 2024Updated 2 years ago
- Comments as GitHub pull requests for Jekyll (and other static site generator) websites.☆16Dec 15, 2018Updated 7 years ago
- A Type-Level Encoding of Natural Numbers as a Linked List of Bits☆11Oct 26, 2016Updated 9 years ago
- Work in progress: Simpler and more powerful alternative to Scala's built-in for-comprehension syntax☆25Jun 23, 2016Updated 9 years ago
- Integration between jawn and fs2☆39Updated this week
- An sbt plugin that backports parts of sbt 1's public API on top of sbt 0.13 implementation☆17Jul 20, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Scripts to automatically fetch Sonatype statistics☆15Nov 4, 2022Updated 3 years ago
- Getting started in the Scala REPL☆28Mar 28, 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 6 years ago
- A package re-exporting the verified subset of containers☆20Jun 18, 2018Updated 7 years ago
- Typeclass-based HashSet/HashMap for Scala☆31Apr 2, 2017Updated 8 years ago
- Minimal infrastructure for type class providers to support the inclusion of derived, subclass and other orphan instances in their implici…☆89Oct 1, 2019Updated 6 years ago
- ☆24Dec 22, 2015Updated 10 years ago
- A regular expression type provider demo☆40Sep 16, 2015Updated 10 years ago
- ☆84Mar 22, 2020Updated 6 years ago
- 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.
- ☆12May 9, 2015Updated 10 years ago
- TeX files for summary of category theory☆15Apr 9, 2016Updated 9 years ago
- Formalization of CBPV extended with effect and coeffect tracking☆14Aug 30, 2024Updated last year
- ☆17Sep 12, 2016Updated 9 years ago
- Implementing Abstract Binding Trees (in Scala, ...)☆19Jan 28, 2016Updated 10 years ago
- Lightweight affine types and object capabilities in Scala☆32Feb 12, 2019Updated 7 years ago
- todo-backend implementation using the Typelevel stack☆14Sep 5, 2019Updated 6 years ago