(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:
- Transducers in OCaml. About as Haskelly as you can manage. Hoping to fix that.☆16Feb 14, 2015Updated 11 years ago
- ☆30Jun 7, 2014Updated 11 years ago
- An implementation of wxAsteroids in javascript using UHC (Utrecht Haskell Compiler)☆12Dec 1, 2014Updated 11 years ago
- Buildpack-ocaml to run OCaml program on Heroku.☆19Jun 7, 2013Updated 12 years ago
- A production ready boilerplate for running a universal javascript app with React, Webpack and Podio☆10Jul 26, 2015Updated 10 years ago
- Javascript backend for OPT☆28Aug 8, 2013Updated 12 years ago
- An answer to Don't Read The Comments☆10Jul 8, 2015Updated 10 years ago
- Learn You Some Algebras for Glorious Good!☆16Jan 1, 2015Updated 11 years ago
- Clojure inspired transducers implementation in JS☆12Mar 24, 2015Updated 10 years ago
- composable regular expressions based on Kleene algebras and recursion schemes☆14Oct 6, 2021Updated 4 years ago
- A way to show data in tabular form☆15Mar 18, 2019Updated 6 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 3 years ago
- A GeoHackDay hack of the BeeLine product☆11Oct 4, 2016Updated 9 years ago
- A webpack loader for Haskell (!)☆15Feb 23, 2015Updated 11 years ago
- Tentative write-up of a neat trick used in the Mezzo type-checker☆15Nov 27, 2015Updated 10 years ago
- Javascript Style Guide☆14Jul 25, 2014Updated 11 years ago
- Agda suffices: software written from A to Z in Agda☆16Mar 31, 2019Updated 6 years ago
- Hacky applicative-style for comprehensions for Scala.☆37Apr 29, 2022Updated 3 years ago
- ☆14Jan 4, 2017Updated 9 years ago
- A reactive Cube to play with☆18Jan 25, 2015Updated 11 years ago
- Compress long exception traces down to short signatures☆19Mar 28, 2022Updated 3 years ago
- Add shorthand convenience functions to your JavaScript☆29Jan 27, 2014Updated 12 years ago
- Code and resources from the book ClojureReactiveProgramming☆19Mar 29, 2015Updated 10 years ago
- Data structure experimentation in scala☆15May 13, 2015Updated 10 years ago
- A simple and clean replacement icon for Vim.☆38Feb 25, 2014Updated 12 years ago
- A general build tool for haskell projects inspired by leiningen☆16Jun 6, 2015Updated 10 years ago
- reducer for the Shift AST format☆24Apr 27, 2022Updated 3 years ago
- API wrapper for Github's API in Haskell with tests☆17Sep 30, 2015Updated 10 years ago
- ☆24May 5, 2025Updated 9 months ago
- This repository moved to https://github.com/elm-community/graph☆16Feb 22, 2023Updated 3 years ago
- Forget your methods☆41Dec 1, 2017Updated 8 years ago
- ☆16Sep 11, 2015Updated 10 years ago
- Scala compiler plugin which provides syntax for contexts `x ⊢ { ... }`☆19Aug 29, 2017Updated 8 years ago
- Use Redux DevTools in the Browser/Electron DevTools☆18Apr 21, 2016Updated 9 years ago
- Concise syntax for polymorphic values in Scala 2.x.☆55Apr 26, 2022Updated 3 years ago
- parse time strings into {hour,minute} object, specially useful for user input (ie. speech recognition). supports british time format ("a …☆17Dec 22, 2016Updated 9 years ago
- Idiomatic Clojure/ClojureScript library for Firebase☆36Mar 27, 2015Updated 10 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