koeninger / scala-view-of-rustLinks
☆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
- Base library for Rüstigraben☆18Updated 4 years ago
- A library to work with CRDTs in rust☆16Updated last year
- A recursive ascent/descent parser generator for Scala☆33Updated 2 years ago
- Infrastructure for explaining the outputs of differential dataflow computations☆22Updated 8 years ago
- Sireum v3☆10Updated last year
- scala multi-dimensional arrays with reverse-mode autodifferentiation☆18Updated 7 years ago
- Distributed Data Structures in Coq☆49Updated 11 years ago
- Abstract algebra for Rust (still very much a WIP!)☆61Updated 3 years ago
- ☆23Updated 11 years ago
- GPU programming in Scala☆61Updated 13 years ago
- A graph library for Rust☆15Updated 10 years ago
- a capability-based system☆40Updated 7 years ago
- Scala coverage example☆35Updated last year
- Conduit-like data processing library for Rust☆54Updated 9 years ago
- Rust embed crate☆15Updated 7 years ago
- MinCaml Compiler implementation by Haskell☆11Updated 13 years ago
- Simple example of REST/WebSockets on Spray Can.☆10Updated 9 years ago
- ☆24Updated 9 years ago
- A lisp interpreter and compiler, written in Scala. Compiles Lisp to Scala !☆48Updated 9 years ago
- Rust actor library with a bit of inspiration from Akka/Pykka☆46Updated 4 years ago
- Machine Intelligence Preprocessing Framework☆89Updated 8 years ago
- A library for developing languages with scoped binders (like forall or lambda).☆28Updated 6 years ago
- Listen in on all the gossip going on in your kubernetes cluster☆12Updated 7 years ago
- ☆57Updated 8 years ago
- A prototype meta DSL that generates Delite DSL implementations from a specification-like program.☆52Updated 8 years ago
- Implementation of PageRank in timely dataflow☆74Updated 6 years ago
- Algebraic structure and emulation of higher kinded types for Rust☆107Updated 6 years ago
- tasty project for Scala☆14Updated 8 years ago
- We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2☆26Updated 9 years ago