INRIA / zelus
A synchronous language with ODEs
☆48Updated last week
Related projects ⓘ
Alternatives and complementary repositories for zelus
- Unofficial git mirror of the BER MetaOCaml patchset.☆64Updated last year
- ProbZelus is a library to extends the synchronous programming language Zelus with probabilistic programming.☆46Updated 5 months ago
- A Lustre compiler in Coq☆58Updated last year
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated 10 months ago
- MetaML and MetaOCaml bibliography☆85Updated 2 months ago
- Strongly typed multidimensional array library for OCaml☆51Updated 5 months ago
- multi-shot continuations in OCaml☆46Updated 3 weeks ago
- Stand-alone programs for numerical analysis in OCaml☆47Updated 9 years ago
- A Probability Theory Library for the Coq Theorem Prover☆49Updated last year
- Efficient binder representation in OCaml☆39Updated 4 months ago
- An extension to PUMPKIN PATCH with support for proof repair across type equivalences.☆49Updated last month
- Kleene algebra modulo theories☆26Updated last year
- OCaml hash-consing library☆51Updated 9 months ago
- A proof of Abel-Ruffini theorem.☆28Updated 2 months ago
- Compilation and Verification of Data-Centric Languages☆56Updated 3 months ago
- A "implementation" of Girard's paradox in OCaml☆105Updated 9 years ago
- ☆35Updated 3 weeks ago
- Fun plugin to play with the Gallina AST.☆38Updated 5 years ago
- Identifying similar OCaml codes☆29Updated 3 months ago
- An experimental type checker for a modal dependent type theory.☆110Updated 4 years ago
- A modular sat/smt solver with proof output.☆97Updated 10 months ago
- LP and MIP modeling in OCaml☆26Updated 2 years ago
- Model finder for higher-order logic☆41Updated 11 months ago
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc☆97Updated last year
- A Deductive Verification Tool for OCaml Programs☆60Updated 4 months ago
- A (formalised) general definition of type theories☆56Updated 3 years ago
- OCaml with macros☆53Updated this week
- A deterministic parser with fused lexing☆71Updated last year
- Relation algebra library for Coq☆45Updated 3 weeks ago
- An HTML documentation generator for Coq source files☆30Updated 2 months ago