IBM / probzelusLinks
ProbZelus is a library to extends the synchronous programming language Zelus with probabilistic programming.
☆51Updated 4 months ago
Alternatives and similar repositories for probzelus
Users that are interested in probzelus are comparing it to the libraries listed below
Sorting:
- A synchronous language with ODEs☆57Updated last week
- Unofficial git mirror of the BER MetaOCaml patchset.☆70Updated 9 months ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated 2 years ago
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆26Updated last year
- Certified Machine Learning☆41Updated 4 years ago
- Compilation and Verification of Data-Centric Languages☆57Updated last year
- EGraphs in OCaml☆80Updated 2 years ago
- OCaml syntax extension for synchronous programming...☆32Updated 2 years ago
- Simple reference implementation of Hazelnut using js_of_ocaml and OCaml React. (frozen -- ongoing development in the hazel repo)☆30Updated 8 years ago
- First-order automated theorem prover based on the tableau method☆18Updated last month
- Coq development accompanying the paper "Efficient Extensional Binary Tries"☆21Updated last year
- A modular sat/smt solver with proof output.☆102Updated 2 years ago
- Kleene algebra modulo theories☆27Updated 3 years ago
- ☆31Updated 11 years ago
- Some programs from Rustan Leino's "Program Proofs", in Why3.☆16Updated 2 years ago
- Companion Coq development for Xavier Leroy's 2021 lectures on program logics☆41Updated 4 years ago
- Strongly typed multidimensional array library for OCaml☆53Updated last year
- λ² is a tool for synthesizing functional programs from input-output examples.☆87Updated 3 years ago
- Plotting for ocaml based on matplotlib.pyplot☆33Updated 3 years ago
- General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]☆51Updated last year
- A Deductive Verification Tool for OCaml Programs☆76Updated 4 months ago
- Efficient binder representation in OCaml☆43Updated last year
- LP and MIP modeling in OCaml☆29Updated 7 months ago
- Miking - the meta viking: a meta-language system for creating embedded languages☆54Updated this week
- Program logic for developing and verifying distributed systems☆35Updated this week
- An OCaml library providing a C parser and lexer☆42Updated last year
- Type-and-example-driven program synthesis for functional programming languages☆27Updated 6 years ago
- Code for "Staged Generic Programming" (ICFP 2017)☆28Updated 2 years ago
- Owl's Differential Equation Solvers☆35Updated 4 years ago
- Constraint solver based on abstract domains☆33Updated last year