satabin / swamLinks
WebAssembly engine in Scala
☆52Updated 4 years ago
Alternatives and similar repositories for swam
Users that are interested in swam are comparing it to the libraries listed below
Sorting:
- A programming language for distributed applications☆35Updated last year
- SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory☆32Updated last year
- REScala - distributed and reactive programming embedded in OO and FP programs.☆93Updated last month
- Running Scala in WebAssembly through Scala Native☆107Updated 6 years ago
- Fast streams for Scala 3☆53Updated 5 months ago
- A high-performance, purely-functional library for reactive programming based on efficient incremental computation☆24Updated 6 years ago
- Eval library and patched Scala-3/Dotty compiler. Evaluating source code and trees at compile time hacking multi-staging programming☆20Updated 2 years ago
- A fast parser combinator library, with extra querying goodness☆34Updated 8 years ago
- ☆17Updated last month
- Lightweight affine types and object capabilities in Scala☆32Updated 6 years ago
- ☆41Updated 4 years ago
- Higher kinded data in Scala☆20Updated 3 months ago
- XML String Interpolator for Dotty☆35Updated last year
- A case-insensitive string for Scala☆40Updated last week
- A Coq-based synthesis of Scala programs which are correct-by-construction☆79Updated 3 years ago
- C as an Embedded Language in Scala☆18Updated 10 years ago
- Catless Category Theory in Dotty/Scala 3 meow ~☆44Updated 2 years ago
- Compile-time expression evaluation for Scala 2☆16Updated last month
- Historical feature requests. Please create new feature requests at https://github.com/lampepfl/dotty/discussions/new?category=feature-req…☆31Updated 2 years ago
- ☆25Updated 3 years ago
- Scala Native support for the TensorFlow C API on Linux and macOS☆42Updated last week
- Scala Native Binding Generator☆34Updated last year
- ☆19Updated 3 years ago
- Scala2PlantUML generates PlantUML diagrams from Scala code.☆23Updated 11 months ago
- Friendly fork of Scala.js, target stand-alone Wasm leveraging WASI and Component Model☆22Updated this week
- Effect Zoo for Scala☆41Updated last week
- Verified message-passing programs in Dotty☆48Updated 4 years ago
- ☆20Updated last year
- Verification and Generation of Smart Contracts using Stainless and Scala☆35Updated 4 years ago
- ☆108Updated last year