(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
Sorting:
- A way to show data in tabular form☆15Mar 18, 2019Updated 7 years ago
- Concise syntax for polymorphic values in Scala 2.x.☆55Apr 26, 2022Updated 3 years ago
- Transducers in OCaml. About as Haskelly as you can manage. Hoping to fix that.☆16Feb 14, 2015Updated 11 years ago
- An answer to Don't Read The Comments☆10Jul 8, 2015Updated 10 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
- Data structure experimentation in scala☆15May 13, 2015Updated 10 years ago
- Experiments with incremental compiler construction on the JVM☆13Mar 15, 2022Updated 4 years ago
- IO Type for Android + modern, functional UI language☆21Mar 28, 2017Updated 8 years ago
- Hacky applicative-style for comprehensions for Scala.☆37Apr 29, 2022Updated 3 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
- Agda suffices: software written from A to Z in Agda☆16Mar 31, 2019Updated 6 years ago
- Compress long exception traces down to short signatures☆19Mar 28, 2022Updated 3 years ago
- QuickJs based wrapper generator for WASM components in written in JavaScript☆18Updated this week
- Scala compiler plugin which provides syntax for contexts `x ⊢ { ... }`☆19Aug 29, 2017Updated 8 years ago
- ☆29Oct 27, 2014Updated 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 5 years ago
- EasyMock mocking for ZIO☆10Aug 10, 2020Updated 5 years ago
- Javascript backend for OPT☆28Aug 8, 2013Updated 12 years ago
- opentracing for pure applications☆17Jan 8, 2019Updated 7 years ago
- Clojure inspired transducers implementation in JS☆12Mar 24, 2015Updated 10 years ago
- Buildpack-ocaml to run OCaml program on Heroku.☆19Jun 7, 2013Updated 12 years ago
- A type-parametric unboxed Option type for Scala☆64Oct 10, 2021Updated 4 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 compiler plug-in to control object lifetimes in Scala☆65Jul 15, 2017Updated 8 years ago
- ☆24May 5, 2025Updated 10 months ago
- ☆30Jun 7, 2014Updated 11 years ago
- Tentative write-up of a neat trick used in the Mezzo type-checker☆15Nov 27, 2015Updated 10 years ago
- Files for use during Meetup's internal Scala class☆11Oct 4, 2018Updated 7 years ago
- Access Scala language features on the type-level☆31Aug 19, 2024Updated last year
- A webpack loader for Haskell (!)☆15Feb 23, 2015Updated 11 years ago
- Learn You Some Algebras for Glorious Good!☆16Jan 1, 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
- Scala library for sketching, locality sensitive hashing, approximate similarity search and other things☆33Mar 14, 2017Updated 9 years ago
- A GeoHackDay hack of the BeeLine product☆11Oct 4, 2016Updated 9 years ago
- Config ZIO apps from multiple property sources having a standard property resolution order.☆16May 4, 2020Updated 5 years ago