Alternatives and similar repositories for neurocat

Users that are interested in neurocat are comparing it to the libraries listed below

• Chymyst / curryhoward
  Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
  ☆259Updated 2 months ago
• to-ithaca / libra
  A dimensional analysis library based on dependent types
  ☆199Updated 11 months ago
• pelotom / effectful
  A syntax for type-safe effectful computations in Scala
  ☆174Updated 9 years ago
• TiarkRompf / scala-escape
  A compiler plug-in to control object lifetimes in Scala
  ☆65Updated 8 years ago
• cb372 / free-vs-tagless-final
  ☆78Updated 4 years ago
• jliszka / probability-monad
  ☆263Updated 3 years ago
• noelwelsh / pfennig
  A Probabilistic Functional Programming Language DSL in Scala
  ☆63Updated 9 years ago
• typelevel / machinist
  Spire's macros for zero-cost operator enrichment
  ☆191Updated 5 years ago
• gkossakowski / kentuckymule
  Limits of Scala typechecking speed
  ☆155Updated 4 years ago
• wheaties / TwoTails
  A Scala compiler plugin for mutual tail recursion
  ☆88Updated 5 years ago
• aloiscochard / scato
  An exploration of purely functional library design in Scala.
  ☆103Updated 9 years ago
• djspiewak / shims
  Seamless interop layer between cats and scalaz
  ☆174Updated 4 years ago
• scalan / scalan
  Generic framework for development of domain-specific compilers in Scala
  ☆96Updated 7 years ago
• spartanz / schemaz
  A purely-functional library for defining type-safe schemas for algebraic data types, providing free generators, SQL queries, JSON codecs,…
  ☆165Updated 5 years ago
• stripe / dagon
  Tools for rewriting and optimizing DAGs (directed-acyclic graphs) in Scala
  ☆150Updated 3 years ago
• jdegoes / scalaworld-2015
  Supporting material for ScalaWorld 2015.
  ☆100Updated 9 years ago
• non / chain
  Simple, efficient wrapper for fast concatenation/iteration.
  ☆112Updated 6 years ago
• typelevel / typeclassic
  Everything you need to make type classes first class.
  ☆61Updated 9 years ago
• nuttycom / xenomorph
  Scala library for free applicative schemas capable of parsing/rendering sums-of-products data structures.
  ☆108Updated 6 years ago
• retronym / scalac-survival-guide
  ☆83Updated 5 years ago
• non / imp
  macro for summoning implicit values
  ☆92Updated 5 years ago
• siddhartha-gadgil / ProvingGround
  Proving Ground: Tools for Automated Mathematics
  ☆204Updated 3 years ago
• runarorama / scala-mset
  Multisets for Scala
  ☆85Updated 4 years ago
• rklaehn / radixtree
  A fast and generic immutable radix tree for scala
  ☆96Updated 5 years ago
• scalaz / testz
  The pure testing library by scalaz.
  ☆89Updated 5 years ago
• typelevel / paiges
  an implementation of Wadler's a prettier printer
  ☆188Updated this week
• fthomas / singleton-ops
  Operations for primitive and String singleton types
  ☆163Updated 11 months ago
• channingwalton / typeclassopedia
  My tinkering to understand the typeclassopedia.
  ☆101Updated last month
• sir-wabbit / leibniz
  Leibniz equivalence and Liskov substitutability library for Scala.
  ☆37Updated 3 years ago
• Frege / sbt-frege
  Frege support for sbt
  ☆53Updated last month