Alternatives and similar repositories for chymyst-core:

Users that are interested in chymyst-core are comparing it to the libraries listed below

• Chymyst / curryhoward
  Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
  ☆258Updated 3 years ago
• gkossakowski / kentuckymule
  Limits of Scala typechecking speed
  ☆155Updated 4 years ago
• pelotom / effectful
  A syntax for type-safe effectful computations in Scala
  ☆175Updated 9 years ago
• epfldata / squid
  Squid – type-safe metaprogramming and compilation framework for Scala
  ☆201Updated last year
• channingwalton / typeclassopedia
  My tinkering to understand the typeclassopedia.
  ☆102Updated last year
• djspiewak / parseback
  A Scala implementation of parsing with derivatives
  ☆197Updated 5 years ago
• typelevel / machinist
  Spire's macros for zero-cost operator enrichment
  ☆191Updated 5 years ago
• heathermiller / spores
  Scala Spores, safe mobile closures.
  ☆127Updated 7 years ago
• b-studios / scala-effekt
  Extensible algebraic effects with handlers
  ☆145Updated 2 weeks ago
• spartanz / schemaz
  A purely-functional library for defining type-safe schemas for algebraic data types, providing free generators, SQL queries, JSON codecs,…
  ☆164Updated 5 years ago
• travisbrown / iteratee
  Iteratees for Cats
  ☆183Updated 8 months ago
• wheaties / TwoTails
  A Scala compiler plugin for mutual tail recursion
  ☆88Updated 5 years ago
• TiarkRompf / scala-escape
  A compiler plug-in to control object lifetimes in Scala
  ☆63Updated 7 years ago
• djspiewak / shims
  Seamless interop layer between cats and scalaz
  ☆174Updated 4 years ago
• typelevel / paiges
  an implementation of Wadler's a prettier printer
  ☆188Updated last month
• rklaehn / radixtree
  A fast and generic immutable radix tree for scala
  ☆96Updated 5 years ago
• fthomas / singleton-ops
  Operations for primitive and String singleton types
  ☆163Updated 8 months ago
• to-ithaca / libra
  A dimensional analysis library based on dependent types
  ☆198Updated 8 months ago
• scala-lms / tutorials
  Tutorials on Lightweight Modular Staging
  ☆121Updated 6 months ago
• alcestes / lchannels
  Session programming in Scala
  ☆59Updated 3 years ago
• frees-io / iota
  Fast [co]product types with a clean syntax. For Cats & Scalaz.
  ☆178Updated 5 years ago
• nuttycom / xenomorph
  Scala library for free applicative schemas capable of parsing/rendering sums-of-products data structures.
  ☆108Updated 6 years ago
• pingel-org / axle
  Axle Domain Specific Language for Scientific Cloud Computing and Visualization
  ☆67Updated 2 months ago
• Verizon / quiver
  A reasonable library for modeling multi-graphs in Scala
  ☆200Updated 6 years ago
• stripe / dagon
  Tools for rewriting and optimizing DAGs (directed-acyclic graphs) in Scala
  ☆149Updated 3 years ago
• scala-records / scala-records
  Labeled records for Scala based on structural refinement types and macros.
  ☆159Updated 5 years ago
• m50d / paperdoll
  Scala implementation of "Freer Monads, More Extensible Effects" - see http://okmij.org/ftp/Haskell/extensible/more.pdf
  ☆49Updated 3 months ago
• lloydmeta / diesel
  Boilerplate-free, zero-overhead Tagless Final / typed-final / Finally Tagless DSLs in Scala
  ☆111Updated 7 years ago
• scodec / scodec-bits
  Provides immutable datatypes for working with bits and bytes
  ☆116Updated last month
• miniboxing / miniboxing-plugin
  Miniboxing is a program transformation that improves the performance of Scala generics when used with primitive types. It can speed up ge…
  ☆121Updated 5 years ago