david-broman / modelyze
Modelyze: A host language for modeling and analysis of cyber-physical systems
☆14Updated 4 years ago
Alternatives and similar repositories for modelyze:
Users that are interested in modelyze are comparing it to the libraries listed below
- An OCaml interface to the Sundials suite of numeric solvers.☆26Updated 9 months ago
- An exact real arithmetic (aka constructive reals) for OCaml☆13Updated 9 months ago
- Prototype code for some Julia-OCaml bindings☆15Updated 4 years ago
- Fast vectorized bitarrays for OCaml☆15Updated last year
- Automatic Differentiation: FADBAD++ for OCaml☆14Updated 4 years ago
- Adaptive sampling of parametric and implicit curves☆13Updated 3 years ago
- Numerical Optimisation Library☆16Updated last year
- An interval library for OCaml☆16Updated 2 years ago
- [wip]…Low level bindigs to the GR plotting framework (gr-framework.org)☆14Updated 3 years ago
- LLVM JIT Cycle Accurate Simulator for HardCaml☆13Updated 7 years ago
- A simple BDD library for OCaml☆13Updated 2 years ago
- Data visualization and plotting for OCaml☆19Updated 7 years ago
- Julia scripting OpenModelica interface☆41Updated 7 months ago
- OpenSCAD DSL for OCaml☆19Updated last year
- Simple OCaml interface for Gnuplot☆11Updated 3 years ago
- Complete, typesafe representation of Vega-Lite in OCaml☆10Updated 7 years ago
- A simple and portable floating-point interval arithmetic library in OCaml☆10Updated 2 years ago
- Deprecated package (use instead Modia.jl)☆20Updated 3 years ago
- ML's radishal Universal Levenshtein Automata library.☆12Updated 3 years ago
- Dig into an opam switch for doc☆10Updated 3 years ago
- OCaml syntax extension for synchronous programming...☆31Updated last year
- Parallel computation in OCaml - multicore for really poor people☆11Updated 4 years ago
- A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities☆14Updated 3 months ago
- (Extremely) simple standalone symbolic algebra library in OCaml. (Mirrored from original site.)☆12Updated 13 years ago
- OCaml implementation of sets as hash tables by Jean-Christophe Filliatre☆10Updated last month
- Unicode character database decoder for OCaml☆17Updated last month
- File mapping☆13Updated last year
- OCaml with SQL-style data processing support☆10Updated 2 years ago
- FaCiLe a constraint programming library on integer and integer set finite domains written in OCaml☆13Updated last year
- Lookup and load installed OCaml modules☆16Updated 2 months ago