satabin / swam

Related projects ⓘ

Alternatives and complementary repositories for swam

• shadaj / scala-native-wasm
  Running Scala in WebAssembly through Scala Native
  ☆106Updated 5 years ago
• phaller / lacasa
  Lightweight affine types and object capabilities in Scala
  ☆32Updated 5 years ago
• alcestes / effpi
  Verified message-passing programs in Dotty
  ☆47Updated 3 years ago
• strymonas / strymonas-scala
  Fast streams for Scala 3
  ☆46Updated last year
• VirtuslabRnD / scala3-coroutines
  ☆11Updated 2 years ago
• tabdulradi / hello-scala3-native-image
  Minimal hello world using Scala 3 (Dotty) and running as GraalVM native-image
  ☆32Updated 4 years ago
• epfl-lara / inox
  Solver for higher-order functional programs, used by Stainless
  ☆88Updated 2 weeks ago
• alcestes / lchannels
  Session programming in Scala
  ☆59Updated 3 years ago
• earldouglas / linear-scala
  Linear types in Scala
  ☆39Updated this week
• markehammons / sbt-shackle
  An sbt plugin for creating java foreign bindings using project panama.
  ☆12Updated 4 years ago
• ekrich / stensorflow
  Scala Native support for the TensorFlow C API on Linux and macOS
  ☆40Updated this week
• lampepfl / scala3-macro-tutorial
  ☆40Updated 3 years ago
• JBakouny / Scallina
  A Coq-based synthesis of Scala programs which are correct-by-construction
  ☆79Updated 2 years ago
• liufengyun / scala3-plugin-example
  ☆24Updated 2 years ago
• DmytroMitin / dotty-patched
  Eval library and patched Scala-3/Dotty compiler. Evaluating source code and trees at compile time hacking multi-staging programming
  ☆20Updated 2 years ago
• namin / scalogno
  prototyping logic programming in Scala
  ☆40Updated 2 years ago
• b-studios / scala-effekt
  Extensible algebraic effects with handlers
  ☆144Updated last week
• indoorvivants / sn-bindgen
  Scala 3 native binding generator + libclang facade
  ☆80Updated last week
• epfldata / c-scala
  C as an Embedded Language in Scala
  ☆18Updated 9 years ago
• scala-loci / scala-loci
  A programming language for distributed applications
  ☆34Updated 5 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
• 7mind / sbtgen
  SBT project generator for flexible monorepo flow
  ☆26Updated 3 months ago
• sjrd / scala-unboxed-option
  A type-parametric unboxed Option type for Scala
  ☆60Updated 3 years ago
• propensive / guillotine
  Making the execution of system processes easier in Scala
  ☆13Updated last week
• sideeffffect / scala-rust-interop
  ☆33Updated 3 weeks ago
• DavidGregory084 / inc
  Experiments with incremental compiler construction on the JVM
  ☆11Updated 2 years ago
• Katrix / perspective
  Higher kinded data in Scala
  ☆19Updated 3 months ago
• lampepfl / monadic-reflection
  ☆107Updated 10 months ago
• liufengyun / gestalt
  gestalt : portable and solid macros for Scala
  ☆31Updated 6 years ago
• propensive / polyvinyl
  Typesafe record types for Scala
  ☆21Updated last week