ssm-lang / sslang
A language built atop the Sparse Synchronous Model
☆18Updated last year
Alternatives and similar repositories for sslang:
Users that are interested in sslang are comparing it to the libraries listed below
- ☆34Updated 11 months ago
- A verified compiler for a lazy functional language☆34Updated last month
- The Shine compiler for the RISE language☆79Updated last week
- embedding MLIR in LEAN☆47Updated 9 months ago
- A toolkit for enforcing logical specifications on neural networks☆86Updated this week
- A parser for ANSI C, in Lean4.☆20Updated last year
- Two-Level Type Theory☆28Updated 5 years ago
- Parallel Environment for optimal Lambda Calculus Reduction☆28Updated 2 years ago
- Specifications and safety proofs in different tools of a simple concurrent algorithm☆23Updated 4 years ago
- A Gallina compiler with C++17 as an intermediate representation☆43Updated 3 years ago
- Agda category theory library for denotational design☆50Updated 9 months ago
- Gallina to Bedrock2 compilation toolkit☆53Updated last week
- a playground for working with fully static tensors and automatic differentiation☆17Updated 4 years ago
- The Cubicle model checker☆13Updated last year
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆16Updated 4 years ago
- Hoare Type Theory☆73Updated 2 months ago
- We define a simple programming language, simp_lang, then instantiate Iris to verify simple simp_lang programs with concurrent separation …☆50Updated last month
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆54Updated 4 years ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆15Updated 7 months ago
- A talk☆28Updated 3 years ago
- Accompanying materials for "A Core Calculus for Documents"☆31Updated last year
- Imagine a Dependently Typed Python☆10Updated 2 months ago
- Datalog + Egg = Good☆66Updated last year
- Verified and Efficient Matching of Regular Expressions with Lookaround☆23Updated 3 months ago
- A Toy Inverse Bidirectional Typechecker☆31Updated 5 years ago
- A verified tensor library in Lean☆20Updated last week
- Convert TLA+ output (and values) into JSON☆26Updated 4 years ago
- vertical + gpu + free join + datalog☆18Updated last month
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆14Updated 10 months ago
- benchmarking e-graph extraction☆37Updated 4 months ago