INRIA / zelus
A synchronous language with ODEs
☆48Updated last week
Related projects ⓘ
Alternatives and complementary repositories for zelus
- ProbZelus is a library to extends the synchronous programming language Zelus with probabilistic programming.☆46Updated 6 months ago
- A modular sat/smt solver with proof output.☆97Updated 10 months ago
- Unofficial git mirror of the BER MetaOCaml patchset.☆64Updated last year
- Stand-alone programs for numerical analysis in OCaml☆47Updated 9 years ago
- A Lustre compiler in Coq☆59Updated this week
- LP and MIP modeling in OCaml☆26Updated 3 years ago
- A "implementation" of Girard's paradox in OCaml☆105Updated 9 years ago
- A Deductive Verification Tool for OCaml Programs☆60Updated 4 months ago
- A Probability Theory Library for the Coq Theorem Prover☆49Updated last year
- Strongly typed multidimensional array library for OCaml☆51Updated 5 months ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated 10 months ago
- Kleene algebra modulo theories☆27Updated 2 years ago
- An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…☆139Updated last month
- Faithful reimplementation of Minisat 2.2 in OCaml.☆37Updated last year
- An ocaml implementation of conflict-driven reasoning☆15Updated 6 years ago
- Model finder for higher-order logic☆41Updated 11 months ago
- OCaml PPX deriver for reflection☆51Updated 2 years ago
- An OCaml interface to the Sundials suite of numeric solvers.☆26Updated 4 months ago
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc☆99Updated last year
- Efficient binder representation in OCaml☆39Updated 4 months ago
- A tool-agnostic formal specification language for OCaml.☆128Updated this week
- Interactive breakpoints!☆43Updated 6 months ago
- Formalisation of a capability machine and principles for reasoning about security properties☆17Updated last week
- Identifying similar OCaml codes☆29Updated 3 months ago
- multi-shot continuations in OCaml☆46Updated 3 weeks ago
- Coq Enhancement Proposals☆49Updated 2 weeks ago
- A deterministic parser with fused lexing☆71Updated last year
- scikit-learn for OCaml☆34Updated 3 years ago
- OCaml hash-consing library☆51Updated 9 months ago