rjolly / scas

Related projects: ⓘ

• 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
• scala-native / scala-native-benchmarks
  Staging area for new benchmarking infrastructure for Scala Native.
  ☆15Updated 10 months ago
• miniboxing / ildl-plugin
  Data-centric metaprogramming for Scala
  ☆17Updated 9 years ago
• suhailshergill / TTFI
  typed tagless final interpreters
  ☆13Updated 7 years ago
• epfldata / dbstage
  ☆15Updated 4 years ago
• TomasMikula / LambdaCart
  Lambda syntax for Scala EDSLs
  ☆26Updated last year
• algebraic-graphs / scala
  Algebraic Graphs in Scala
  ☆26Updated 3 years ago
• djspiewak / scala-bison
  A recursive ascent/descent parser generator for Scala
  ☆33Updated last year
• jokade / swog
  Scala wrapper generator for interop with C, C++, Objective-C, and script languages.
  ☆15Updated 3 years ago
• ThoughtWorksInc / Q.scala
  Convert any value to code
  ☆12Updated last year
• lihaoyi / roll
  A work-in-progress game being developed using scala-js
  ☆34Updated 10 years ago
• jodersky / scala-argparse
  Pragmatic command line parsing and configuration for Scala apps
  ☆13Updated last year
• ThoughtWorksInc / tryt.scala
  Monad transformers for exception handling
  ☆17Updated last month
• strymonas / staged-streams.scala
  ☆57Updated 7 years ago
• xuwei-k / nobox
  immutable primitive array/NonEmptyArray wrapper for Scala
  ☆33Updated this week
• GeorgOfenbeck / SpiralS
  ☆22Updated 10 years ago
• hablapps / stateless
  A library which is not recognized as citizen of any infrastructure.
  ☆26Updated 4 years ago
• portable-scala / sbt-crossproject.g8
  Giter8 template for a simple project that uses sbt-crossproject.
  ☆11Updated 6 years ago
• kiritsuku / amora
  The semantic search engine where anyone can define anything anywhere
  ☆30Updated 7 years ago
• scala / scala-continuations
  the Scala delimited continuations plugin and library
  ☆90Updated 4 years ago
• certichain / network-transformations
  A Framework for building Distributed Consensus Protocols
  ☆10Updated 6 years ago
• dotty-linker / dotty
  Modified version of dotty suporting language specific and library-specific optimizations
  ☆37Updated 7 years ago
• erikerlandson / gnuplot4s
  A well typed scala interface to gnuplot
  ☆10Updated 3 years ago
• jcouyang / owlet
  Typed Spreadsheet UI library for ScalaJS
  ☆40Updated last year
• ThoughtWorksInc / RAII.scala
  Resource Acquisition Is Initialization
  ☆30Updated 6 months ago
• epfldata / c-scala
  C as an Embedded Language in Scala
  ☆17Updated 9 years ago
• scalajs-css / core
  ScalaJS CSS library
  ☆24Updated 5 years ago
• davegurnell / atlas
  A tiny embedded scripting language implemented in Scala.
  ☆24Updated 5 years ago