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:
- SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory☆32Updated last year
- Higher kinded data in Scala☆20Updated 2 months ago
- js.scala: JavaScript as an embedded DSL in Scala☆176Updated 9 years ago
- gestalt : portable and solid macros for Scala☆31Updated 7 years ago
- Running Scala in WebAssembly through Scala Native☆106Updated 6 years ago
- A type-parametric unboxed Option type for Scala☆61Updated 3 years ago
- Modified version of dotty suporting language specific and library-specific optimizations☆37Updated 8 years ago
- Fast streams for Scala 3☆52Updated 3 months ago
- Generates the .scalafmt.conf that have minimum change to existing your scala codebase on running scalafmt.☆38Updated 3 years ago
- Effect Zoo for Scala☆41Updated last month
- Catless Category Theory in Dotty/Scala 3 meow ~☆43Updated 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
- XML String Interpolator for Dotty☆34Updated last year
- Typesafe record types for Scala☆21Updated 4 months ago
- ☆25Updated 2 years ago
- Scala 3 native binding generator + libclang facade☆85Updated 2 weeks ago
- Session programming in Scala☆59Updated 3 years ago
- Solver for higher-order functional programs, used by Stainless☆91Updated last month
- A Coq-based synthesis of Scala programs which are correct-by-construction☆79Updated 3 years ago
- A case-insensitive string for Scala☆40Updated this week
- Linear types in Scala☆43Updated last week
- WIP - Scalameta powered code generation☆41Updated 7 years ago
- Type-safe, persistent storage for values of arbitrary types☆83Updated this week
- Verified message-passing programs in Dotty☆48Updated 4 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
- Making the execution of system processes easier in Scala☆13Updated 3 months ago
- Compile-time expression evaluation for Scala 2☆16Updated last week
- Lightweight affine types and object capabilities in Scala☆32Updated 6 years ago
- Platform independent reflection for Scala☆42Updated last year
- ☆11Updated 3 years ago