ssm-lang / sslangLinks
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
Sorting:
- A Gallina compiler with C++17 as an intermediate representation☆43Updated 4 years ago
- Static security for database-backed Haskell applications using Liquid Haskell☆18Updated last year
- embedding MLIR in LEAN☆47Updated last year
- ☆27Updated 2 months ago
- Polynomial Lens☆29Updated 2 years ago
- Datalog + Egg = Good☆66Updated 2 years ago
- Build an educational formally verified version of the Nand 2 Tetris course using Coq (and other formal tools).☆57Updated 3 years ago
- Gallina to Bedrock2 compilation toolkit☆57Updated 2 weeks ago
- The Shine compiler for the RISE language☆83Updated last month
- We define a simple programming language, simp_lang, then instantiate Iris to verify simple simp_lang programs with concurrent separation …☆52Updated 2 weeks ago
- A verified compiler for a lazy functional language☆36Updated 3 weeks ago
- A proof tree viewer that works with Coq through Proof General☆28Updated 4 years ago
- Horn Clause Constraint Solving for Liquid Types☆150Updated last month
- Demo for dependent types + runtime code generation☆69Updated 5 months ago
- a playground for working with fully static tensors and automatic differentiation☆17Updated 4 years ago
- The Cubicle model checker☆14Updated last year
- Slog 1.0☆43Updated last year
- A toolkit for enforcing logical specifications on neural networks☆101Updated this week
- The SAW core language.☆54Updated 4 years ago
- Coq library for tactics, basic definitions, sets, maps☆49Updated this week
- A Seamless, Interactive Tactic Learner and Prover for Coq☆72Updated last week
- Formalizations of Gradually Typed Languages in Agda☆57Updated 5 months ago
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆54Updated 4 years ago
- A Lean library for Computer Science☆32Updated this week
- VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification …☆46Updated 6 months ago
- Compilation and Verification of Data-Centric Languages☆58Updated last year
- Course on Metaprogramming☆71Updated 2 weeks ago
- Hoare Type Theory☆77Updated last month
- Interpret Haskell programs into any cartesian closed category.☆62Updated 2 months ago
- Educational Proof Assistant for Type Theory☆74Updated 11 months ago