Alternatives and similar repositories for tapl-scala

Users that are interested in tapl-scala are comparing it to the libraries listed below

• retronym / macrocosm

  View on GitHub
  Exploration of Scala macros
  ☆152Mar 25, 2013Updated 12 years ago
• felixmulder / sbt-dotty

  View on GitHub
  A plugin to build your application using dotty with sbt support
  ☆23Apr 5, 2017Updated 8 years ago
• ilya-klyuchnikov / lambdapi

  View on GitHub
  Dependently Typed Lambda Calculus in Haskell
  ☆116Mar 8, 2021Updated 4 years ago
• scala-native / scala-native-benchmarks

  View on GitHub
  Staging area for new benchmarking infrastructure for Scala Native.
  ☆16Nov 1, 2023Updated 2 years ago
• webyrd / curnelo

  View on GitHub
  Cur dependently-typed language in miniKanren.
  ☆17Jan 26, 2018Updated 8 years ago
• RedPRL / bantorra

  View on GitHub
  📚 A library for managing libraries and resolving unit paths
  ☆17Nov 21, 2025Updated 2 months ago
• strymonas / strymonas-scala

  View on GitHub
  Fast streams for Scala 3
  ☆57Feb 8, 2025Updated last year
• Elderry / TaPL-SML

  View on GitHub
  Accompanying code for "Types and Programming Languages", ported to Standard ML
  ☆30Jul 10, 2015Updated 10 years ago
• gemini-hlsw / clue

  View on GitHub
  GraphQL client for Scala.
  ☆20Jan 26, 2026Updated 3 weeks ago
• jameshaydon / smproc

  View on GitHub
  A well-typed symmetric-monoidal category of concurrent processes
  ☆25Nov 12, 2018Updated 7 years ago
• julien-truffaut / Typeclass

  View on GitHub
  Workshop on typeclasses in scala
  ☆27Oct 2, 2017Updated 8 years ago
• calfproject / agda-calf

  View on GitHub
  A cost-aware logical framework, embedded in Agda.
  ☆75Nov 7, 2025Updated 3 months ago
• atnos-org / eff

  View on GitHub
  Eff monad for cats - https://atnos-org.github.io/eff
  ☆588Updated this week
• kcsmnt0 / quotient

  View on GitHub
  quotient types in cubical Agda
  ☆24Feb 4, 2019Updated 7 years ago
• ilya-klyuchnikov / ttlite

  View on GitHub
  A SuperCompiler for Martin-Löf's Type Theory
  ☆123Jan 29, 2022Updated 4 years ago
• ocramz / algebraic-graphs-io

  View on GitHub
  I/O utilities and datasets for algebraic-graphs
  ☆14Aug 29, 2022Updated 3 years ago
• jrudolph / sbt-hackers-digest

  View on GitHub
  An sbt plugin to create annotations for the Github UI when sbt is run in Github Actions
  ☆12Oct 10, 2025Updated 4 months ago
• zilberstein / system-fc-coq

  View on GitHub
  ☆12May 9, 2015Updated 10 years ago
• ionathanch / scraps

  View on GitHub
  Various mechanized proof files for fun.
  ☆13Aug 11, 2025Updated 6 months ago
• tarao / lambda-scala3

  View on GitHub
  Type-level lambda calculus in Scala 3
  ☆13Oct 11, 2022Updated 3 years ago
• kcrypt / scala-biginteger

  View on GitHub
  BigInteger for scala with very fast modPow
  ☆10Updated this week
• b-studios / scala-effekt

  View on GitHub
  Extensible algebraic effects with handlers
  ☆148Feb 9, 2026Updated last week
• sbt / sbt-onejar

  View on GitHub
  Packages your project using One-JAR™
  ☆266Jan 22, 2019Updated 7 years ago
• twitter-archive / libkestrel

  View on GitHub
  libkestrel
  ☆47May 12, 2013Updated 12 years ago
• Blaisorblade / dot-iris

  View on GitHub
  Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization
  ☆37Feb 9, 2026Updated last week
• maxsnew / grammars-and-semantic-actions

  View on GitHub
  Intrinsic Verification of Formal Grammar Theory
  ☆27Nov 22, 2025Updated 2 months ago
• jrwest / learn_you_a_scalaz

  View on GitHub
  Learn You a Scalaz for Greatest Good
  ☆246Apr 4, 2016Updated 9 years ago
• samuelgruetter / dot-calculus

  View on GitHub
  Formalization of the Dependent Object Types (DOT) calculus
  ☆66Aug 30, 2022Updated 3 years ago
• typelevel / cats-effect-shell

  View on GitHub
  Command line debugging console for Cats Effect
  ☆19Apr 2, 2024Updated last year
• Blaisorblade / abt

  View on GitHub
  Implementing Abstract Binding Trees (in Scala, ...)
  ☆19Jan 28, 2016Updated 10 years ago
• domdere / fp-in-idris

  View on GitHub
  Functional Programing in Scala (in Idris) [Idris]
  ☆16Mar 23, 2015Updated 10 years ago
• JoeyEremondi / lambda-pi-constraint

  View on GitHub
  ☆16Feb 18, 2025Updated 11 months ago
• fwbrasil / scalad

  View on GitHub
  Scala 3 Decompiler
  ☆11May 17, 2021Updated 4 years ago
• TomasMikula / nutcracker

  View on GitHub
  Problem solving à la carte
  ☆22Apr 11, 2022Updated 3 years ago
• lampepfl / monadic-reflection

  View on GitHub
  ☆108Jan 7, 2024Updated 2 years ago
• steshaw / tiger-ml

  View on GitHub
  Compiler for Tiger based on Andrew Appel's Modern Compiler Implementation in ML
  ☆60Apr 18, 2011Updated 14 years ago
• JacquesCarette / finally-tagless

  View on GitHub
  Repo of the original work on finally tagless (and a lot of other metaocaml work besides)
  ☆43Nov 28, 2018Updated 7 years ago
• pocketberserker / scala-logic

  View on GitHub
  ☆21Updated this week
• jdegoes / blueeyes

  View on GitHub
  A lightweight Web 3.0 framework for Scala, featuring a purely asynchronous architecture, extremely high-performance, massive scalability,…
  ☆738Sep 22, 2014Updated 11 years ago