rjolly / scas

Related projects ⓘ

Alternatives and complementary repositories for scas

• namin / scalogno
  prototyping logic programming in Scala
  ☆40Updated 2 years ago
• regb / scabolic
  Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.
  ☆32Updated 9 years ago
• bishabosha / Mesa
  Functional Language extending the enriched effect calculus. Linear usage of effects. Implemented with Scala 3.
  ☆20Updated 4 years ago
• kiritsuku / amora
  The semantic search engine where anyone can define anything anywhere
  ☆30Updated 7 years ago
• miniboxing / ildl-plugin
  Data-centric metaprogramming for Scala
  ☆17Updated 9 years ago
• algebraic-graphs / scala
  Algebraic Graphs in Scala
  ☆26Updated 3 years ago
• suhailshergill / TTFI
  typed tagless final interpreters
  ☆13Updated 7 years ago
• dwijnand / sbt-compat
  An sbt plugin that backports parts of sbt 1's public API on top of sbt 0.13 implementation
  ☆17Updated last year
• lampepfl / xml-interpolator
  XML String Interpolator for Dotty
  ☆32Updated 7 months ago
• lampepfl / dotty-feature-requests
  Historical feature requests. Please create new feature requests at https://github.com/lampepfl/dotty/discussions/new?category=feature-req…
  ☆31Updated last year
• ThoughtWorksInc / Q.scala
  Convert any value to code
  ☆12Updated last year
• erikerlandson / gnuplot4s
  A well typed scala interface to gnuplot
  ☆10Updated 3 years ago
• scala-native / scala-native-benchmarks
  Staging area for new benchmarking infrastructure for Scala Native.
  ☆15Updated last year
• epfldata / dbstage
  ☆15Updated 4 years ago
• TomasMikula / LambdaCart
  Lambda syntax for Scala EDSLs
  ☆26Updated last year
• scalajs-css / core
  ScalaJS CSS library
  ☆24Updated 6 years ago
• strymonas / staged-streams.scala
  ☆57Updated 7 years ago
• lihaoyi / roll
  A work-in-progress game being developed using scala-js
  ☆34Updated 10 years ago
• plokhotnyuk / expression-evaluator
  Compile-time expression evaluation for Scala 2
  ☆15Updated last month
• ThoughtWorksInc / tryt.scala
  Monad transformers for exception handling
  ☆17Updated 3 months ago
• TomasMikula / nutcracker
  Problem solving à la carte
  ☆20Updated 2 years ago
• typelevel / unique
  Unique Functional Values for Scala
  ☆17Updated 2 months ago
• hablapps / stateless
  A library which is not recognized as citizen of any infrastructure.
  ☆26Updated 4 years ago
• jodersky / scala-argparse
  Pragmatic command line parsing and configuration for Scala apps
  ☆13Updated last year
• TomasMikula / Principled
  (Actually) flexible law checking for Scala
  ☆15Updated 7 years ago
• davegurnell / atlas
  A tiny embedded scripting language implemented in Scala.
  ☆24Updated 5 years ago
• scala / scala-continuations
  the Scala delimited continuations plugin and library
  ☆89Updated 4 years ago
• xuwei-k / nobox
  immutable primitive array/NonEmptyArray wrapper for Scala
  ☆33Updated last week
• amarpotghan / dhall-scala
  dhall-scala is a Scala library for consuming dhall configuration files from Scala programming language.
  ☆39Updated 5 years ago
• strymonas / strymonas-scala
  Fast streams for Scala 3
  ☆46Updated last year