satabin / swamLinks
WebAssembly engine in Scala
☆51Updated 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
- Verified message-passing programs in Dotty☆49Updated 4 years ago
- Squid – type-safe metaprogramming and compilation framework for Scala☆202Updated last year
- Running Scala in WebAssembly through Scala Native☆107Updated 6 years ago
- ☆108Updated last year
- Fast streams for Scala 3☆56Updated 8 months ago
- REScala - distributed and reactive programming embedded in OO and FP programs.☆95Updated 3 months ago
- SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory☆32Updated last month
- A Coq-based synthesis of Scala programs which are correct-by-construction☆79Updated 3 years ago
- Extensible algebraic effects with handlers☆146Updated last week
- Scala Native GUI framework based on libui☆72Updated last year
- Eval library and patched Scala-3/Dotty compiler. Evaluating source code and trees at compile time hacking multi-staging programming☆20Updated 2 years ago
- Scala Native support for the TensorFlow C API on Linux and macOS☆41Updated 2 weeks ago
- Catless Category Theory in Dotty/Scala 3 meow ~☆44Updated 2 years ago
- A minimal Scala creative coding library targeting JVM/Javascript/Native☆58Updated 2 weeks ago
- LL(1) parser combinators in Scala☆60Updated last month
- Shape-safe TensorFlow in Dotty☆47Updated 2 years ago
- Lightweight affine types and object capabilities in Scala☆32Updated 6 years ago
- Scala macro that produces JavaScript from Scala code.☆203Updated 5 years ago
- ☆25Updated 3 years ago
- The CafeSat SMT solver for Scala☆50Updated 3 years ago
- Scala <-> C interop☆110Updated last year
- Scala 3 native binding generator + libclang facade☆89Updated 3 weeks ago
- Extensible event loop and async-oriented IO for Scala Native; powered by libuv☆56Updated last year
- ☆41Updated 4 years ago
- Clean room implementation of the LSP protocol in Scala, published for JVM, JS, and Native platforms☆54Updated 4 months ago
- Modified version of dotty suporting language specific and library-specific optimizations☆37Updated 8 years ago
- A purely-functional library for creating both parsers, pretty-printers, and grammar definitions from a single, type-safe specification of…☆71Updated 5 years ago
- A type-parametric unboxed Option type for Scala☆64Updated 3 years ago
- gestalt : portable and solid macros for Scala☆31Updated 7 years ago