Alternatives and similar repositories for magpie

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

• andyscott / archetype

  View on GitHub
  Generalized recursion for Scalameta. And a Scala template tool.
  ☆17Oct 11, 2017Updated 8 years ago
• adelbertc / tfm

  View on GitHub
  tagless final macro
  ☆18Sep 14, 2015Updated 10 years ago
• m50d / paperdoll

  View on GitHub
  Scala implementation of "Freer Monads, More Extensible Effects" - see http://okmij.org/ftp/Haskell/extensible/more.pdf
  ☆49Jan 8, 2025Updated last year
• mandubian / khats

  View on GitHub
  Khats, cats on Higher-Kinded amphets
  ☆15Aug 17, 2016Updated 9 years ago
• mossprescott / invertible-syntax

  View on GitHub
  Invertible syntax and partial isomorphisms for Scala
  ☆31Nov 28, 2017Updated 8 years ago
• TomasMikula / nutcracker

  View on GitHub
  Problem solving à la carte
  ☆22Apr 11, 2022Updated 3 years ago
• szeiger / ErasedTypes

  View on GitHub
  ☆29Oct 27, 2014Updated 11 years ago
• TomasMikula / LambdaCart

  View on GitHub
  Lambda syntax for Scala EDSLs
  ☆27Sep 18, 2023Updated 2 years ago
• non / cats-check

  View on GitHub
  Cats instances for ScalaCheck data types
  ☆18Nov 21, 2016Updated 9 years ago
• adelbertc / scala-sandbox

  View on GitHub
  Random Scala thought experiments and miscellany.
  ☆11Aug 24, 2016Updated 9 years ago
• runarorama / scala-bound

  View on GitHub
  A library for developing languages with scoped binders (like forall or lambda).
  ☆28Aug 21, 2018Updated 7 years ago
• jfdm / idris-config

  View on GitHub
  Parsers for various configuration files written in Idris.
  ☆19Nov 8, 2017Updated 8 years ago
• adelbertc / aiyou

  View on GitHub
  IO types and classes for Scala.
  ☆42Nov 26, 2016Updated 9 years ago
• pa-ba / Rattus

  View on GitHub
  A modal FRP language embedded in Haskell.
  ☆14Oct 16, 2023Updated 2 years ago
• serras / cat-theory-lambdaconf-wr-2017

  View on GitHub
  ☆10Jan 11, 2017Updated 9 years ago
• zudov / purescript-miniyampa

  View on GitHub
  A simplistic AFRP implementation
  ☆13Sep 3, 2015Updated 10 years ago
• domdere / fp-in-idris

  View on GitHub
  Functional Programing in Scala (in Idris) [Idris]
  ☆16Mar 23, 2015Updated 10 years ago
• propensive / xylophone

  View on GitHub
  Working with XML in Scala
  ☆23Feb 11, 2025Updated last year
• david-christiansen / idris-code-highlighter

  View on GitHub
  A semantic highlighter for Idris code
  ☆14Feb 22, 2018Updated 7 years ago
• dwijnand / tabular

  View on GitHub
  A way to show data in tabular form
  ☆15Mar 18, 2019Updated 6 years ago
• djspiewak / smock

  View on GitHub
  A utility harness for testing free programs (built on specs2)
  ☆29May 4, 2021Updated 4 years ago
• okomok / sing

  View on GitHub
  Type-Level Metaprogramming Library in Scala
  ☆47May 19, 2014Updated 11 years ago
• kiritsuku / amora

  View on GitHub
  The semantic search engine where anyone can define anything anywhere
  ☆30May 2, 2017Updated 8 years ago
• strymonas / staged-streams.scala

  View on GitHub
  ☆57Jul 13, 2017Updated 8 years ago
• ThoughtWorksInc / feature.scala

  View on GitHub
  Access Scala language features on the type-level
  ☆31Aug 19, 2024Updated last year
• stacycurl / pimpathon

  View on GitHub
  Adds useful methods to scala & java classes.
  ☆35Feb 9, 2022Updated 4 years ago
• stanford-ppl / argon

  View on GitHub
  Scala staging framework
  ☆18Jul 13, 2018Updated 7 years ago
• sellout / recursion-scheme-talk

  View on GitHub
  A talk on using recursion schemes in FP.
  ☆219Apr 1, 2024Updated last year
• jsuereth / scala-cel

  View on GitHub
  Scala Community Extension Libraries
  ☆18Jan 9, 2013Updated 13 years ago
• Acornsgrow / reeds

  View on GitHub
  Reads typeclass for Scala
  ☆14Mar 13, 2017Updated 8 years ago
• rcoh / lasic

  View on GitHub
  A scala library for flexible JSON interfaces
  ☆13Oct 7, 2016Updated 9 years ago
• namin / scalogno

  View on GitHub
  prototyping logic programming in Scala
  ☆42Mar 25, 2022Updated 3 years ago
• microvm / microvm-refimpl2

  View on GitHub
  We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2
  ☆26Jun 30, 2016Updated 9 years ago
• jdegoes / sbtb-2016

  View on GitHub
  Streams for (Co)Free! — The supporting repository for a 2016 Scala By The Bay presentation
  ☆14Nov 11, 2016Updated 9 years ago
• okomok / strcat

  View on GitHub
  TeX files for summary of category theory
  ☆15Apr 9, 2016Updated 9 years ago
• cvogt / scala-cosmetics

  View on GitHub
  Pretty printer for Scala type errors
  ☆13Jan 1, 2017Updated 9 years ago
• debasishg / typed-tagless-final

  View on GitHub
  Annotated Scala version of Oleg's Typed Tagless Final Interpreters: Lecture Notes
  ☆32Aug 20, 2017Updated 8 years ago
• pjrt / stags

  View on GitHub
  Scala tags generator
  ☆57Aug 30, 2022Updated 3 years ago
• scala-yinyang / scala-yinyang

  View on GitHub
  Library for deep embedding of DSLs based on Scala macros.
  ☆75Jan 12, 2016Updated 10 years ago