stanford-ppl / argon
Scala staging framework
☆16Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for argon
- A toolkit for building multi-result supercompilers☆30Updated 3 years ago
- ☆22Updated 10 years ago
- prototyping logic programming in Scala☆40Updated 2 years ago
- Implementation of the RISE language☆14Updated 4 years ago
- ☆15Updated 4 years ago
- Create auto-scheduled data-parallel pipelines in hardware with user-friendly Python☆12Updated 3 years ago
- ☆54Updated last year
- ☆15Updated last year
- Implementation of Lightweight Modular Staging (LMS) in Python☆48Updated 5 years ago
- Sireum v3☆10Updated last year
- The implementation of the Elevate language☆29Updated 3 weeks ago
- Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.☆32Updated 9 years ago
- ☆25Updated 2 years ago
- Spatial: "Specify Parameterized Accelerators Through Inordinately Abstract Language"☆100Updated 6 years ago
- C as an Embedded Language in Scala☆18Updated 9 years ago
- Haskell experiments involving TVM AI framework☆21Updated 5 years ago
- Lightweight affine types and object capabilities in Scala☆32Updated 5 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago
- SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory☆29Updated 8 months ago
- System FR: Formalized Foundations for Stainless☆9Updated 3 years ago
- Wrapper for ETH Ariane Core☆19Updated 3 months ago
- The dependently & gradually typed Sage programming language☆9Updated 10 years ago
- Dafny for Metatheory of Programming Languages☆22Updated 2 weeks ago
- Object Algebra Composition☆24Updated 11 years ago
- generative programming & verification☆32Updated 3 years ago
- A Gradual Dependently-typed Language☆14Updated 5 years ago
- Lambda syntax for Scala EDSLs☆26Updated last year
- The Shine compiler for the RISE language☆73Updated 2 weeks ago
- Bolts: Stainless Verified Scala Examples☆18Updated this week
- The Cubicle model checker☆13Updated 8 months ago