Alternatives and similar repositories for stoic

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

• tobnee / jailcall

  View on GitHub
  Defend your Akka applications from failures in distributed systems.
  ☆13Apr 19, 2016Updated 9 years ago
• densh / typelog

  View on GitHub
  Proof-of-concept Prolog compiler that compiles down to Scala implicits.
  ☆20Feb 2, 2016Updated 10 years ago
• ThoughtWorksInc / Extractor.scala

  View on GitHub
  Make PartialFunction and extractors composable
  ☆22Aug 19, 2024Updated last year
• ThoughtWorksInc / Constructor.scala

  View on GitHub
  Mixin classes and traits dynamically
  ☆10Sep 4, 2017Updated 8 years ago
• pfn / sbt-unused

  View on GitHub
  An SBT plugin to let you know when you mess up
  ☆21Aug 30, 2016Updated 9 years ago
• msprotz / proof-search-monad

  View on GitHub
  Tentative write-up of a neat trick used in the Mezzo type-checker
  ☆15Nov 27, 2015Updated 10 years ago
• sbt / sbt-export-repo

  View on GitHub
  exports your dependency graph to a preloaded local repository
  ☆15May 10, 2019Updated 6 years ago
• libling / sbt-hackling

  View on GitHub
  Prototype of the Libling concept. Libling is a way to add source dependencies to your sbt project.
  ☆13Aug 18, 2017Updated 8 years ago
• sjrd / scala-unboxed-option

  View on GitHub
  A type-parametric unboxed Option type for Scala
  ☆64Oct 10, 2021Updated 4 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
• cartazio / monad-ste

  View on GitHub
  ST with efficient exceptions
  ☆20Nov 11, 2016Updated 9 years ago
• olafurpg / scalameta-sbt-codegen

  View on GitHub
  Example of doing code generation with scala.meta in sbt
  ☆12Mar 27, 2018Updated 7 years ago
• retronym / boxer

  View on GitHub
  ☆46Apr 2, 2020Updated 5 years ago
• pico-works / pico-event

  View on GitHub
  Tiny publish subscribe library
  ☆15Mar 27, 2017Updated 8 years ago
• scalameta / sbt-semantic-example

  View on GitHub
  DEPRECATED - minimal template to play with the Scalameta semantic API
  ☆16Sep 2, 2017Updated 8 years ago
• TiarkRompf / scala-escape

  View on GitHub
  A compiler plug-in to control object lifetimes in Scala
  ☆65Jul 15, 2017Updated 8 years ago
• JBakouny / Scallina

  View on GitHub
  A Coq-based synthesis of Scala programs which are correct-by-construction
  ☆79May 25, 2022Updated 3 years ago
• stacycurl / pimpathon

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

  View on GitHub
  ☆33Mar 12, 2017Updated 8 years ago
• japgolly / univeq

  View on GitHub
  Safer universal equivalence (==) for Scala.
  ☆59Feb 3, 2026Updated 2 weeks ago
• leszekgruchala / typelevel-programming-scala

  View on GitHub
  TypeLevel Programming in Scala
  ☆15Sep 4, 2016Updated 9 years ago
• typelevel / unique

  View on GitHub
  Unique Functional Values for Scala
  ☆17Sep 3, 2024Updated last year
• ThoughtWorksInc / sbt-example

  View on GitHub
  Run Scaladoc as unit tests
  ☆32Jan 18, 2026Updated last month
• bobatkey / system-f-parametricity-model

  View on GitHub
  A Model of Relationally Parametric System F in Coq
  ☆22May 27, 2015Updated 10 years ago
• scalapb / sbt-scalapb

  View on GitHub
  Deprecated. Please use https://github.com/thesamet/sbt-protoc
  ☆21Jun 19, 2019Updated 6 years ago
• szeiger / ornate

  View on GitHub
  A Markdown-based site generator
  ☆80Mar 25, 2020Updated 5 years ago
• epfldata / squid

  View on GitHub
  Squid – type-safe metaprogramming and compilation framework for Scala
  ☆202Feb 1, 2024Updated 2 years ago
• stacycurl / delta

  View on GitHub
  Type safe delta
  ☆55Nov 11, 2024Updated last year
• adelbertc / tfm

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

  View on GitHub
  Non-horrible command line parsing.
  ☆42May 9, 2017Updated 8 years ago
• gkossakowski / kentuckymule

  View on GitHub
  Limits of Scala typechecking speed
  ☆155Apr 28, 2021Updated 4 years ago
• aisamanra / config-ini

  View on GitHub
  A monadic DSL for simple configuration parsing
  ☆27Jun 4, 2025Updated 8 months ago
• dotty-linker / dotty

  View on GitHub
  Modified version of dotty suporting language specific and library-specific optimizations
  ☆37Nov 12, 2016Updated 9 years ago
• Jacoby6000 / sqlz

  View on GitHub
  Pure Functional SQL generation.
  ☆40Oct 5, 2018Updated 7 years ago
• wookietreiber / sbt-scaliterate

  View on GitHub
  sbt plugin for literate Scala programming
  ☆20Sep 27, 2017Updated 8 years ago
• qnikst / numeric-ode

  View on GitHub
  Haskell numerical ODE solvers
  ☆14Aug 21, 2017Updated 8 years ago
• 1a7r0ch3 / parallel-cut-pursuit

  View on GitHub
  Cut-pursuit algorithms, parallelized along components
  ☆10Aug 5, 2020Updated 5 years ago
• olafurpg / intellij-ammonite

  View on GitHub
  Obsolete, Ammonite is now supported in IntelliJ 🎉 -->
  ☆11Jan 7, 2017Updated 9 years ago
• ThoughtWorksInc / Q.scala

  View on GitHub
  Convert any value to code
  ☆12Jul 1, 2023Updated 2 years ago