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 / owl_ode
  Owl's Differential Equation Solvers
  ☆35Updated 4 years ago
• owlbarn / eigen
  Owl's OCaml Interface to Eigen3 C++ Library
  ☆33Updated 3 years ago
• garrigue / lablgl
  LablGL: an openGL interface for OCaml
  ☆25Updated 2 years ago
• janestreet / ppx_python
  ARCHIVED. [@@deriving] plugin to generate Python conversion functions
  ☆34Updated last year
• tachukao / ocaml-mlir
  OCaml Bindings to MLIR
  ☆15Updated 5 years ago
• tarides / ocaml-jit
  Just In Time compiler for OCaml native toplevel
  ☆60Updated 2 years ago
• c-cube / mc2
  [research] A modular SMT solver in OCaml, based on mcSAT
  ☆39Updated 2 years ago
• Chris00 / ocaml-cairo
  Binding to Cairo, a 2D Vector Graphics Library.
  ☆56Updated last year
• dc-mak / NumLin
  NumLin: Linear Types for Linear Algebra
  ☆23Updated 3 years ago
• modular-macros / ocaml-macros
  OCaml with macros
  ☆60Updated 3 months ago
• keigoi / linocaml
  Monad-based linear types in OCaml, with a few syntax extensions
  ☆38Updated 6 years ago
• anentropic / ocaml-spectrum
  Library for color and formatting in the terminal
  ☆21Updated last month
• ocamllabs / ocaml-internals
  Wiki for ocaml compiler internals
  ☆49Updated 12 years ago
• smimram / ocaml-alg
  Algebraic structures in OCaml.
  ☆25Updated 2 months ago
• OCamlPro / ocaml-canvas
  The OCaml-Canvas library provides a portable Canvas for OCaml
  ☆60Updated last year
• ocaml / MPP-language-blender
  MPP: a meta preprocessor that blends programming languages
  ☆32Updated 2 years ago
• apatil / aplomb
  Data visualization and plotting for OCaml
  ☆19Updated 8 years ago
• ocamllabs / ocaml-memory-model
  ☆28Updated 6 years ago
• soren-n / bidi-higher-rank-poly
  Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…
  ☆22Updated 4 years ago
• owainlewis / bridge
  A type-safe, stack-based functional programming language
  ☆16Updated 11 months ago
• OCamlPro / memthol
  Memthol is a visualizer for memory profiling data generated from OCaml programs.
  ☆28Updated 3 years ago
• polytypic / rea-ml
  Effectful OCaml with Objects and Variants
  ☆29Updated 2 years ago
• miking-lang / miking
  Miking - the meta viking: a meta-language system for creating embedded languages
  ☆54Updated this week
• ocsigen / deriving
  Extension to OCaml for deriving functions from type declarations.
  ☆26Updated 4 years ago
• mirage / irmin-rpc
  RPC client/server for Irmin
  ☆19Updated 4 years ago
• cmaes / miniml
  Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.
  ☆32Updated 4 years ago
• yallop / ocaml-ctypes-inverted-stubs-example
  Example showing how to turn OCaml code (here Xmlm) into a C library.
  ☆45Updated 5 years ago
• ocaml-multicore / domain-local-await
  A scheduler independent blocking mechanism
  ☆19Updated last year
• ocaml-multicore / multicore-talks
  Repository containing slides and examples from the 2020 OCaml Workshop talk on "Parallelising your OCaml code with Multicore OCaml"
  ☆29Updated 2 years ago