GaloisInc / lustre
A parser and AST for Lustre
☆12Updated 2 months ago
Alternatives and similar repositories for lustre:
Users that are interested in lustre are comparing it to the libraries listed below
- MetaML and MetaOCaml bibliography☆86Updated last month
- A language-generic implementation of equality saturation in Haskell☆21Updated 6 years ago
- Experimental functional language☆18Updated 2 years ago
- an encoding of affine effect handlers using pthreads☆13Updated 2 years ago
- Examples from our paper "Capturing the Future by Replaying the Past"☆21Updated 4 months ago
- A Toy Inverse Bidirectional Typechecker☆31Updated 5 years ago
- secret project☆17Updated 6 years 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 8 years ago
- This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the pack…☆28Updated 5 years ago
- Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]☆23Updated 2 months ago
- Formally verified Coq serialization library with support for extraction to OCaml☆23Updated last year
- Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais☆26Updated 6 years ago
- A library for the next generation of LCF refiners, with support for dependent refinement—Long Live the Anti-Realist Struggle!☆16Updated 6 years ago
- FunTAL: mixing a functional language with assembly.☆40Updated 7 years ago
- ☆29Updated 9 years ago
- Experimentation project☆16Updated 10 years ago
- Kleene algebra modulo theories☆27Updated 2 years ago
- A repository of MetaOCaml packages☆12Updated last year
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated last year
- Coq library for working with de Bruijn indices [maintainer=@KevOrr]☆30Updated 3 years ago
- Implementations of F-ing modules and 1ML, as well as bibliography of (mainly ML-style) modules☆30Updated last year
- A certified semantics for relational programming workout.☆26Updated 4 years ago
- Code for tutorials, papers and experiments. Mostly Agda, Coq and Haskell.☆19Updated last year
- A dependently typed type checker for a TT with intervals☆22Updated 4 years ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 6 years ago
- AACMM's generic-syntax, but with QTT-style annotations☆20Updated 9 months ago
- A Datalog implementation with an OCaml inspired module system☆44Updated 6 years ago
- Foundational Verification of Hybrid Systems☆15Updated 7 years ago