(Actually) flexible law checking for Scala
☆15Dec 22, 2016Updated 9 years ago
Alternatives and similar repositories for Principled
Users that are interested in Principled are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Compress long exception traces down to short signatures☆19Mar 28, 2022Updated 4 years ago
- ☆13May 14, 2014Updated 12 years ago
- Experimental foundation library for Scala focussed on efficiency and clean design☆78Feb 19, 2016Updated 10 years ago
- An answer to Don't Read The Comments☆10Jul 8, 2015Updated 11 years ago
- A way to show data in tabular form☆15Mar 18, 2019Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Concise syntax for polymorphic values in Scala 2.x.☆55Apr 26, 2022Updated 4 years ago
- Data structure experimentation in scala☆15May 13, 2015Updated 11 years ago
- rewrite Scala code avoiding usage of "bad" features and staying as close as possible to original source☆15May 12, 2015Updated 11 years ago
- A Type-Level Encoding of Natural Numbers as a Linked List of Bits☆11Oct 26, 2016Updated 10 years ago
- Forget your methods☆41Dec 1, 2017Updated 8 years ago
- IO Type for Android + modern, functional UI language☆21Mar 28, 2017Updated 9 years ago
- Agda suffices: software written from A to Z in Agda☆16Mar 31, 2019Updated 7 years ago
- composable regular expressions based on Kleene algebras and recursion schemes☆14Oct 6, 2021Updated 5 years ago
- Hacky applicative-style for comprehensions for Scala.☆38Apr 29, 2022Updated 4 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.
- Multi-type protocol-based polymorphism☆11Sep 10, 2016Updated 10 years ago
- Scala compiler plugin which provides syntax for contexts `x ⊢ { ... }`☆19Aug 29, 2017Updated 9 years ago
- SBT Plugins for AI2 projects☆23Oct 14, 2022Updated 4 years ago
- opentracing for pure applications☆17Jan 8, 2019Updated 7 years ago
- Khats, cats on Higher-Kinded amphets☆15Aug 17, 2016Updated 10 years ago
- EasyMock mocking for ZIO☆10Aug 10, 2020Updated 6 years ago
- Functions and bitwise operators for the Int numeric type☆19Oct 18, 2026Updated last week
- The official repository for the LambdaConf 2017 Winter Retreat (January 8 - 12).☆12Aug 29, 2016Updated 10 years ago
- HTML5 server-side events with Scala Spray☆17Mar 18, 2012Updated 14 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.
- The Spire Programming Language☆58Oct 23, 2014Updated 12 years ago
- Transducers in OCaml. About as Haskelly as you can manage. Hoping to fix that.☆16Feb 14, 2015Updated 11 years ago
- a wrapper for the Java Cassandra driver that allows extraction from a Row with Scala types, or directly into a case class. Also has utili…☆21Sep 19, 2020Updated 6 years ago
- Wire your cakes automatically to zio environment☆40Feb 27, 2020Updated 6 years ago
- A compiler plug-in to control object lifetimes in Scala☆65Jul 15, 2017Updated 9 years ago
- A Haskell library for manipulating Java class files☆16Mar 16, 2014Updated 12 years ago
- Mechanizing Types and Programming Languages using Beluga☆24May 29, 2020Updated 6 years ago
- Scala compiler plugin which provides syntax for working with locally declared implicit values☆53Apr 18, 2015Updated 11 years ago
- A type-parametric unboxed Option type for Scala☆65Oct 10, 2021Updated 5 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Config ZIO apps from multiple property sources having a standard property resolution order.☆16May 4, 2020Updated 6 years ago
- ☆29Oct 27, 2014Updated 12 years ago
- Scala library for sketching, locality sensitive hashing, approximate similarity search and other things☆37Mar 14, 2017Updated 9 years ago
- MOVED TO: github.com/akka/akka-persistence-dynamodb☆24Jan 30, 2016Updated 10 years ago
- Boilerplate-free syntax for computations with effects☆178Jun 24, 2014Updated 12 years ago
- ☆24May 5, 2025Updated last year
- Dependency injection via delimited continuations☆11Mar 13, 2014Updated 12 years ago