GaloisInc / lustre
A parser and AST for Lustre
☆12Updated 6 months ago
Alternatives and similar repositories for lustre
Users that are interested in lustre are comparing it to the libraries listed below
Sorting:
- A language-generic implementation of equality saturation in Haskell☆21Updated 6 years ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 12 years ago
- ☆29Updated 9 years ago
- A termination checker for higher-order rewriting with dependent types☆10Updated 4 years ago
- Experimental functional language☆17Updated 2 years ago
- An intensely interactive, graphical theorem prover based on natural deduction☆29Updated 10 years ago
- Dafny for Metatheory of Programming Languages☆25Updated this week
- A Toy Inverse Bidirectional Typechecker☆31Updated 6 years ago
- an encoding of affine effect handlers using pthreads☆14Updated 2 years ago
- The Alms Programming Language☆44Updated 6 years ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 7 years ago
- ☆16Updated 3 months ago
- BDD-based implementation of Datalog☆37Updated 4 years ago
- Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais☆26Updated 6 years ago
- Kleene algebra modulo theories☆27Updated 2 years ago
- FunTAL: mixing a functional language with assembly.☆40Updated 7 years ago
- Coq plugin for monomorphization and C code generation☆34Updated last week
- An extended typed Lambda Calculus☆21Updated 9 months ago
- ☆21Updated 7 years ago
- Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]☆23Updated 6 months ago
- SML Checker for Intersection and Datasort Refinements (pronounced "cider")☆20Updated 11 years ago
- A showcase of interesting code and proof developments in Cedille☆36Updated 2 years ago
- "operating system" based on the calculus of constructions☆18Updated 2 years ago
- Session types in Idris2!☆27Updated 4 years ago
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 5 years ago
- αProlog☆17Updated last year
- Implementations of F-ing modules and 1ML, as well as bibliography of (mainly ML-style) modules☆31Updated 2 years ago
- Experimentation project☆16Updated 11 years ago
- LIMA: Language for Integrated Modeling and Analysis☆12Updated 6 years ago
- MetaML and MetaOCaml bibliography☆89Updated 5 months ago