koeninger / scala-view-of-rust
☆10Updated 6 years ago
Related projects: ⓘ
- A new programming model for asynchronous and distributed programming.☆36Updated 6 years ago
- A recursive ascent/descent parser generator for Scala☆33Updated last year
- Lightweight affine types and object capabilities in Scala☆31Updated 5 years ago
- A starter for scala-native.☆27Updated 6 years ago
- Base library for Rüstigraben☆18Updated 3 years ago
- Simple example of REST/WebSockets on Spray Can.☆10Updated 8 years ago
- ☆22Updated 10 years ago
- Gust is a set of GPU extensions for Breeze.☆32Updated 9 years ago
- ☆41Updated this week
- Distributed Data Structures in Coq☆49Updated 10 years ago
- Safely trading off consistency for performance.☆12Updated 4 years ago
- A mirror of Isabelle/Scala code from the official Isabelle repository at http://isabelle.in.tum.de/repos/isabelle/. Restructured as Eclip…☆15Updated 10 years ago
- GPU programming in Scala☆61Updated 12 years ago
- Infrastructure for explaining the outputs of differential dataflow computations☆21Updated 8 years ago
- Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.☆32Updated 9 years ago
- Interoperability libraries for Shapeless☆77Updated 7 years ago
- Twitter command line client example (ne scala 2015)☆15Updated 9 years ago
- scala multi-dimensional arrays with reverse-mode autodifferentiation☆18Updated 6 years ago
- Scala API Search☆37Updated 8 years ago
- ☆57Updated 7 years ago
- a capability-based system☆40Updated 6 years ago
- Modified version of dotty suporting language specific and library-specific optimizations☆37Updated 7 years ago
- ☆38Updated this week
- Impatient fork of Ammonite☆62Updated 6 years ago
- Generalized, incremental parser combinators for scalaz-stream☆63Updated 9 years ago
- shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)☆51Updated last year
- ☆30Updated this week
- SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants☆15Updated 6 months ago
- Helpers to write Jupyter / IPython kernels on the JVM☆21Updated 7 years ago
- ☆16Updated this week