(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:
- A way to show data in tabular form☆15Mar 18, 2019Updated 7 years ago
- An answer to Don't Read The Comments☆10Jul 8, 2015Updated 11 years ago
- Experimental foundation library for Scala focussed on efficiency and clean design☆78Feb 19, 2016Updated 10 years ago
- Concise syntax for polymorphic values in Scala 2.x.☆55Apr 26, 2022Updated 4 years ago
- Transducers in OCaml. About as Haskelly as you can manage. Hoping to fix that.☆16Feb 14, 2015Updated 11 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- rewrite Scala code avoiding usage of "bad" features and staying as close as possible to original source☆15May 12, 2015Updated 11 years ago
- Forget your methods☆41Dec 1, 2017Updated 8 years ago
- A Type-Level Encoding of Natural Numbers as a Linked List of Bits☆11Oct 26, 2016Updated 9 years ago
- Experiments with incremental compiler construction on the JVM☆13Mar 15, 2022Updated 4 years ago
- Data structure experimentation in scala☆15May 13, 2015Updated 11 years ago
- IO Type for Android + modern, functional UI language☆21Mar 28, 2017Updated 9 years ago
- Hacky applicative-style for comprehensions for Scala.☆38Apr 29, 2022Updated 4 years ago
- composable regular expressions based on Kleene algebras and recursion schemes☆14Oct 6, 2021Updated 4 years ago
- An implementation of wxAsteroids in javascript using UHC (Utrecht Haskell Compiler)☆12Dec 1, 2014Updated 11 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.
- Compress long exception traces down to short signatures☆19Mar 28, 2022Updated 4 years ago
- Agda suffices: software written from A to Z in Agda☆16Mar 31, 2019Updated 7 years ago
- Scala compiler plugin which provides syntax for contexts `x ⊢ { ... }`☆19Aug 29, 2017Updated 8 years ago
- ☆29Oct 27, 2014Updated 11 years ago
- Clojure inspired transducers implementation in JS☆12Mar 24, 2015Updated 11 years ago
- opentracing for pure applications☆17Jan 8, 2019Updated 7 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 5 years ago
- EasyMock mocking for ZIO☆10Aug 10, 2020Updated 5 years ago
- The Spire Programming Language☆59Oct 23, 2014Updated 11 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- HTML5 server-side events with Scala Spray☆18Mar 18, 2012Updated 14 years ago
- The official repository for the LambdaConf 2017 Winter Retreat (January 8 - 12).☆12Aug 29, 2016Updated 9 years ago
- Khats, cats on Higher-Kinded amphets☆15Aug 17, 2016Updated 9 years ago
- Functions and bitwise operators for the Int numeric type☆18Oct 8, 2023Updated 2 years ago
- A type-parametric unboxed Option type for Scala☆65Oct 10, 2021Updated 4 years ago
- Tentative write-up of a neat trick used in the Mezzo type-checker☆15Nov 27, 2015Updated 10 years ago
- A compiler plug-in to control object lifetimes in Scala☆65Jul 15, 2017Updated 9 years ago
- Experimental version of Angband☆19Jun 29, 2015Updated 11 years ago
- ☆24May 5, 2025Updated last year
- 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.
- Files for use during Meetup's internal Scala class☆12Oct 4, 2018Updated 7 years ago
- A webpack loader for Haskell (!)☆15Feb 23, 2015Updated 11 years ago
- A production ready boilerplate for running a universal javascript app with React, Webpack and Podio☆10Jul 26, 2015Updated 10 years ago
- A GeoHackDay hack of the BeeLine product☆12Oct 4, 2016Updated 9 years ago
- Access Scala language features on the type-level☆31Aug 19, 2024Updated last year
- Scala library for sketching, locality sensitive hashing, approximate similarity search and other things☆34Mar 14, 2017Updated 9 years ago
- Boilerplate-free syntax for computations with effects☆178Jun 24, 2014Updated 12 years ago