sireum / v3
Sireum v3
☆10Updated last year
Related projects ⓘ
Alternatives and complementary repositories for v3
- Lambda syntax for Scala EDSLs☆26Updated last year
- ☆22Updated 10 years ago
- A toolkit for building multi-result supercompilers☆30Updated 3 years ago
- prototyping logic programming in Scala☆40Updated 2 years ago
- C as an Embedded Language in Scala☆18Updated 9 years ago
- Scala Algebra System☆15Updated 3 weeks ago
- Oblivious RAM for Scala☆19Updated 3 years ago
- typed tagless final interpreters☆13Updated 7 years ago
- A prototype meta DSL that generates Delite DSL implementations from a specification-like program.☆49Updated 7 years ago
- A recursive ascent/descent parser generator for Scala☆33Updated 2 years ago
- Scala staging framework☆16Updated 6 years ago
- Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.☆32Updated 9 years ago
- A Framework for building Distributed Consensus Protocols☆10Updated 7 years ago
- a capability-based system☆40Updated 6 years ago
- Monad transformers for exception handling☆17Updated 3 months ago
- Staging area for new benchmarking infrastructure for Scala Native.☆15Updated last year
- We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2☆26Updated 8 years ago
- WebAssembly engine in Scala☆51Updated 3 years ago
- JVM Abstracting Abstract Machine☆25Updated 5 years ago
- Memcached client for Scala☆50Updated 7 years ago
- SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants☆15Updated 8 months ago
- Papers I (+ collaborators) have written or am currently writing☆20Updated 6 years ago
- (Actually) flexible law checking for Scala☆15Updated 7 years ago
- Safely trading off consistency for performance.☆12Updated 4 years ago
- ☆15Updated 4 years ago
- Lightning talk about TLA+ for Scala Exchange 2018☆9Updated 4 years ago
- A library for developing languages with scoped binders (like forall or lambda).☆28Updated 6 years ago
- This repository is obsolete☆10Updated 7 years ago