Alternatives and similar repositories for owl_symbolic

Users that are interested in owl_symbolic are comparing it to the libraries listed below

• owlbarn / owl_opt
  Numerical Optimisation Library
  ☆17Updated 2 years ago
• owlbarn / eigen
  Owl's OCaml Interface to Eigen3 C++ Library
  ☆33Updated 3 years ago
• owlbarn / owl_ode
  Owl's Differential Equation Solvers
  ☆35Updated 3 years ago
• janestreet / ppx_python
  ARCHIVED. [@@deriving] plugin to generate Python conversion functions
  ☆34Updated 9 months ago
• garrigue / lablgl
  LablGL: an openGL interface for OCaml
  ☆23Updated last year
• dc-mak / NumLin
  NumLin: Linear Types for Linear Algebra
  ☆23Updated 2 years ago
• OCamlPro / ocaml-canvas
  The OCaml-Canvas library provides a portable Canvas for OCaml
  ☆60Updated last year
• tachukao / ocaml-mlir
  OCaml Bindings to MLIR
  ☆15Updated 4 years ago
• tarides / ocaml-jit
  Just In Time compiler for OCaml native toplevel
  ☆58Updated last year
• yallop / ocaml-ctypes-inverted-stubs-example
  Example showing how to turn OCaml code (here Xmlm) into a C library.
  ☆45Updated 5 years ago
• Chris00 / ocaml-cairo
  Binding to Cairo, a 2D Vector Graphics Library.
  ☆56Updated 9 months ago
• modular-macros / ocaml-macros
  OCaml with macros
  ☆58Updated 2 months ago
• corwin-of-amber / ocaml-wasm
  The core OCaml system: compilers, runtime system, base libraries; WebAssembly port based on wasi-kernel
  ☆43Updated 2 years ago
• grievejia / pyre-ast
  pyre-ast is an OCaml library to parse Python files. The library features its full-fidelity to the official Python spec, as well as its a…
  ☆43Updated last year
• keigoi / linocaml
  Monad-based linear types in OCaml, with a few syntax extensions
  ☆37Updated 5 years ago
• ocsigen / deriving
  Extension to OCaml for deriving functions from type declarations.
  ☆26Updated 4 years ago
• metaocaml / ber-metaocaml
  Unofficial git mirror of the BER MetaOCaml patchset.
  ☆67Updated 3 months ago
• ocaml-multicore / multicore-talks
  Repository containing slides and examples from the 2020 OCaml Workshop talk on "Parallelising your OCaml code with Multicore OCaml"
  ☆29Updated last year
• cmaes / miniml
  Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.
  ☆31Updated 4 years ago
• mirage / ocaml-rpc
  Light library to deal with RPCs in OCaml
  ☆98Updated 3 weeks ago
• ocaml / MPP-language-blender
  MPP: a meta preprocessor that blends programming languages
  ☆32Updated 2 years ago
• c-cube / mc2
  [research] A modular SMT solver in OCaml, based on mcSAT
  ☆39Updated last year
• imandra-ai / minisat-ml
  Faithful reimplementation of Minisat 2.2 in OCaml.
  ☆38Updated 2 years ago
• ocamllabs / ocaml-internals
  Wiki for ocaml compiler internals
  ☆48Updated 12 years ago
• backtracking / creal
  An exact real arithmetic (aka constructive reals) for OCaml
  ☆13Updated last year
• UnixJunkie / minicli
  Minimalist OCaml library for command line parsing
  ☆31Updated 4 years ago
• janestreet / sexp_pretty
  S-expression pretty-printer
  ☆21Updated 3 weeks ago
• LaurentMazare / ocaml-xla
  XLA (Accelerated Linear Algebra) bindings for OCaml
  ☆33Updated 2 months ago
• let-def / wall
  (mirror) A vector graphics renderer like NanoVG in OCaml
  ☆79Updated last year
• Octachron / tensority
  Strongly typed multidimensional array library for OCaml
  ☆53Updated 7 months ago