owlbarn / owl_symbolic
Connect Owl with other accelerators and numerical frameworks with symbolic maths
☆18Updated 2 years ago
Alternatives and similar repositories for owl_symbolic:
Users that are interested in owl_symbolic are comparing it to the libraries listed below
- Numerical Optimisation Library☆15Updated last year
- Owl's OCaml Interface to Eigen3 C++ Library☆33Updated 2 years ago
- Owl's Differential Equation Solvers☆34Updated 3 years ago
- [@@deriving] plugin to generate Python conversion functions☆34Updated last month
- MPP: a meta preprocessor that blends programming languages☆32Updated last year
- Memthol is a visualizer for memory profiling data generated from OCaml programs.☆27Updated 2 years ago
- Owl Tutorial☆6Updated last month
- Bisector tree implementation in OCaml☆25Updated 9 months ago
- Embed typed ASN.1 grammars in OCaml☆36Updated last month
- Just In Time compiler for OCaml native toplevel☆56Updated last year
- XLA (Accelerated Linear Algebra) bindings for OCaml☆30Updated 6 months ago
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 5 years ago
- Low Level Bindings to Libev☆29Updated 3 months ago
- Library for color and formatting in the terminal☆21Updated 2 years ago
- ☆27Updated 5 years ago
- The Stream and Genlex libraries for use with Camlp4 and Camlp5☆15Updated this week
- String searching with errors, using the Wu-Manber algorithm☆23Updated this week
- LablGL: an openGL interface for OCaml☆23Updated last year
- Getting started with ocaml-rs☆31Updated 4 months ago
- Extension to OCaml for deriving functions from type declarations.☆26Updated 3 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆34Updated 6 years ago
- A simple parser combinator library for Ocaml☆29Updated 3 years ago
- Pretty-printing library for OCaml☆43Updated 2 years ago
- Wiki for ocaml compiler internals☆45Updated 11 years ago
- Bindings to the `cuda` and `nvrtc` libraries with a unified interface☆17Updated last month
- Interactive memory profiler based on Memtrace☆29Updated last month
- Yet another type combinator library☆54Updated 2 years ago
- Bindings to the Tracy profiler.☆26Updated this week
- Algorithms to layout trees in a pretty manner.☆36Updated 2 years ago