satabin / swamLinks
WebAssembly engine in Scala
☆51Updated 5 years ago
Alternatives and similar repositories for swam
Users that are interested in swam are comparing it to the libraries listed below
Sorting:
- SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory☆32Updated 5 months ago
- Verified message-passing programs in Dotty☆49Updated 4 years ago
- Squid – type-safe metaprogramming and compilation framework for Scala☆202Updated 2 years ago
- Running Scala in WebAssembly through Scala Native☆107Updated 7 years ago
- Extensible algebraic effects with handlers☆148Updated last week
- Lightweight affine types and object capabilities in Scala☆32Updated 7 years ago
- Fast streams for Scala 3☆57Updated last year
- A programming language for distributed applications☆36Updated last year
- ☆108Updated 2 years ago
- A Coq-based synthesis of Scala programs which are correct-by-construction☆79Updated 3 years ago
- The CafeSat SMT solver for Scala☆50Updated 4 years ago
- ☆41Updated 5 years ago
- A fast parser combinator library, with extra querying goodness☆34Updated 9 years ago
- Verification and Generation of Smart Contracts using Stainless and Scala☆35Updated 5 years ago
- Eval library and patched Scala-3/Dotty compiler. Evaluating source code and trees at compile time hacking multi-staging programming☆20Updated 3 years ago
- REScala - distributed and reactive programming embedded in OO and FP programs.☆96Updated 7 months ago
- Catless Category Theory in Dotty/Scala 3 meow ~☆44Updated 2 years ago
- Clean room implementation of the LSP protocol in Scala, published for JVM, JS, and Native platforms☆56Updated 8 months ago
- gestalt : portable and solid macros for Scala☆31Updated 8 years ago
- Solver for higher-order functional programs, used by Stainless☆93Updated 3 weeks ago
- Scala library for memory-efficient data structures☆74Updated 8 years ago
- Scala Native Binding Generator☆36Updated 2 years ago
- Scala Improvement Proposals☆58Updated 3 weeks ago
- A type-parametric unboxed Option type for Scala☆64Updated 4 years ago
- This is a highly optimized blake3 implementation for scala, scala-js and scala-native☆26Updated 3 weeks ago
- the Scala delimited continuations plugin and library☆91Updated 5 years ago
- Run Scaladoc as unit tests☆32Updated 3 weeks ago
- Staging area for new benchmarking infrastructure for Scala Native.☆15Updated 2 years ago
- Experimental WasmGC backend for Scala.js | merging into the upstream Scala.js repo https://github.com/scala-js/scala-js/pull/4988☆42Updated last year
- A macro-based generic visitor generator☆25Updated 11 months ago