ssm-lang / sslang
A language built atop the Sparse Synchronous Model
☆18Updated 10 months ago
Related projects ⓘ
Alternatives and complementary repositories for sslang
- Gallina to Bedrock2 compilation toolkit☆50Updated last month
- We define a simple programming language, simp_lang, then instantiate Iris to verify simple simp_lang programs with concurrent separation …☆49Updated 6 months ago
- ☆33Updated 7 months ago
- embedding MLIR in LEAN☆47Updated 5 months ago
- Public course materials for CSE 230 (Winter 2019)☆27Updated 3 years ago
- Parallel Environment for optimal Lambda Calculus Reduction☆28Updated 2 years ago
- A deterministic parser with fused lexing☆71Updated last year
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆31Updated 3 years ago
- sketches for egg: a flexible, high-performance e-graph library☆25Updated 5 months ago
- ☆27Updated last week
- benchmarking e-graph extraction☆36Updated 2 weeks ago
- Benchmarking algebraic effect handler implementations☆24Updated 3 years ago
- The Shine compiler for the RISE language☆73Updated 2 weeks ago
- A Haskell to HDL (Verilog/VHDL) Compiler☆24Updated 9 months ago
- a playground for working with fully static tensors and automatic differentiation☆17Updated 3 years ago
- A Toy Inverse Bidirectional Typechecker☆31Updated 5 years ago
- The Cubicle model checker☆13Updated 8 months ago
- Experiments about intermediate representations in compilers☆25Updated 12 years ago
- 32-bit RISC-V Emulator☆23Updated 5 years ago
- A Gradual Dependently-typed Language☆14Updated 5 years ago
- Datalog + Egg = Good☆65Updated last year
- A special-purpose processor for pure, non-strict functional languages☆21Updated 3 months ago
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆14Updated 6 months ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆15Updated 3 months ago
- Based on paper by Greg Morrisett , TAL-0 is the design of a RISC-style typed assembly language which focuses on control-flow safety.☆21Updated 7 years ago
- source code for the bondi programming language☆38Updated 5 years ago
- Efficient effect handlers based on Evidence Passing Semantics.☆27Updated 3 years ago
- A verified compiler for a lazy functional language☆32Updated last month
- Coq library for tactics, basic definitions, sets, maps☆42Updated last week