sireum / v3Links
Sireum v3
☆10Updated last year
Alternatives and similar repositories for v3
Users that are interested in v3 are comparing it to the libraries listed below
Sorting:
- ☆23Updated 11 years ago
- Scala staging framework☆16Updated 6 years ago
- A Framework for building Distributed Consensus Protocols☆10Updated 7 years ago
- C as an Embedded Language in Scala☆18Updated 10 years ago
- A toolkit for building multi-result supercompilers☆30Updated 3 years ago
- MinCaml Compiler implementation by Haskell☆11Updated 13 years ago
- Lambda syntax for Scala EDSLs☆27Updated last year
- ☆15Updated 4 years ago
- Scala Algebra System☆16Updated last month
- a capability-based system☆40Updated 7 years ago
- prototyping logic programming in Scala☆41Updated 3 years ago
- A recursive ascent/descent parser generator for Scala☆33Updated 2 years ago
- Oblivious RAM for Scala☆19Updated 4 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago
- Staging area for new benchmarking infrastructure for Scala Native.☆15Updated last year
- A prototype meta DSL that generates Delite DSL implementations from a specification-like program.☆52Updated 8 years ago
- We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2☆26Updated 8 years ago
- [W.I.P] A Just-In-Time Java Virtual Machine written in Haskell☆21Updated 3 years ago
- An implementation of the Chord lookup protocol verified in Coq using the Verdi framework☆10Updated 6 years ago
- Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.☆32Updated 10 years ago
- Playground for instrumenting `scalac` using AspectJ.☆43Updated 10 years ago
- System FR: Formalized Foundations for Stainless☆9Updated 3 years ago
- A tiny embedded scripting language implemented in Scala.☆24Updated 6 years ago
- Dafny for Metatheory of Programming Languages☆25Updated 2 weeks ago
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆13Updated 5 years ago
- Data-centric metaprogramming for Scala☆17Updated 9 years ago
- Functional Language extending the enriched effect calculus. Linear usage of effects. Implemented with Scala 3.☆21Updated 4 years ago
- ☆10Updated 7 years ago
- Typed Spreadsheet UI library for ScalaJS☆40Updated 2 years ago
- JVM Abstracting Abstract Machine☆25Updated 6 years ago