INRIA / zelusLinks
A synchronous language with ODEs
☆51Updated this week
Alternatives and similar repositories for zelus
Users that are interested in zelus are comparing it to the libraries listed below
Sorting:
- ProbZelus is a library to extends the synchronous programming language Zelus with probabilistic programming.☆48Updated last year
- A Lustre compiler in Coq☆70Updated 2 weeks ago
- A modular sat/smt solver with proof output.☆99Updated last year
- A Probability Theory Library for the Coq Theorem Prover☆54Updated last year
- Unofficial git mirror of the BER MetaOCaml patchset.☆65Updated last month
- A "implementation" of Girard's paradox in OCaml☆108Updated 10 years ago
- A Deductive Verification Tool for OCaml Programs☆73Updated last month
- A (formalised) general definition of type theories☆57Updated 4 years ago
- Certified Machine Learning☆41Updated 4 years ago
- Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]☆59Updated 9 months ago
- A proof of Abel-Ruffini theorem.☆29Updated this week
- Formalising session types in Coq☆17Updated 5 years ago
- LP and MIP modeling in OCaml☆28Updated 2 months ago
- Kleene algebra modulo theories☆27Updated 2 years ago
- OCaml hash-consing library☆51Updated last year
- A deterministic parser with fused lexing☆73Updated last year
- A Coq formalization of information theory and linear error-correcting codes☆71Updated this week
- Faithful reimplementation of Minisat 2.2 in OCaml.☆38Updated 2 years ago
- A not-quite-so-simple Binary Decision Diagrams implementation for OCaml☆37Updated 3 years ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆69Updated 2 years ago
- IO for Gallina☆34Updated 4 months ago
- Efficient binder representation in OCaml☆42Updated 11 months ago
- Coq development accompanying the paper "Efficient Extensional Binary Tries"☆22Updated last year
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated last year
- ☆38Updated last year
- An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…☆145Updated 8 months ago
- General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]☆48Updated 8 months ago
- Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]☆25Updated 3 years ago
- Strongly typed multidimensional array library for OCaml☆53Updated 5 months ago
- Finite sets, finite maps, multisets and generic sets☆48Updated last week