koeninger / scala-view-of-rust
☆10Updated 7 years ago
Alternatives and similar repositories for scala-view-of-rust
Users that are interested in scala-view-of-rust are comparing it to the libraries listed below
Sorting:
- A new programming model for asynchronous and distributed programming.☆36Updated 7 years ago
- Example Scala/SBT event consumer for Amazon Kinesis☆22Updated 9 years ago
- Distributed Data Structures in Coq☆49Updated 11 years ago
- Simple example of REST/WebSockets on Spray Can.☆10Updated 9 years ago
- Modified version of dotty suporting language specific and library-specific optimizations☆37Updated 8 years ago
- An extension to the amazing Spark framework for better functional programming.☆28Updated 8 years ago
- Listen in on all the gossip going on in your kubernetes cluster☆12Updated 7 years ago
- ☆24Updated 9 years ago
- Chris Okasaki’s Purely Functional Data Structures in Scala☆31Updated 12 years ago
- Limits of Scala typechecking speed☆155Updated 4 years ago
- a capability-based system☆40Updated 6 years ago
- General, extensible effect monad for Scala with message-passing semantics☆38Updated 7 years ago
- ExarDB - An event store with streaming support built with Rust☆68Updated 5 years ago
- This is an actor system, built in Rust, similar to Scala's excellent Akka.☆8Updated 9 years ago
- Sireum v3☆10Updated last year
- Immutable, in-memory B-Tree implementation for Scala☆25Updated 11 years ago
- A recursive ascent/descent parser generator for Scala☆33Updated 2 years ago
- A library to work with CRDTs in rust☆16Updated last year
- A starter for scala-native.☆27Updated 7 years ago
- shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)☆51Updated 2 years ago
- Scala API Search☆38Updated 8 years ago
- This repository is obsolete☆10Updated 8 years ago
- A Coq-based synthesis of Scala programs which are correct-by-construction☆79Updated 2 years ago
- A streaming query language.☆57Updated 4 years ago
- Algebraic structure and emulation of higher kinded types for Rust☆106Updated 6 years ago
- An attempt at writing C libraries in Rust that can be called from Idris☆22Updated 9 years ago
- Scala implementation of "Freer Monads, More Extensible Effects" - see http://okmij.org/ftp/Haskell/extensible/more.pdf☆49Updated 4 months ago
- Scala Spores, safe mobile closures.☆127Updated 7 years ago
- Lambda syntax for Scala EDSLs☆26Updated last year
- Exercises designed specifically to demonstrate parametricity☆28Updated 11 years ago