owlbarn / owl_symbolic

Related projects ⓘ

Alternatives and complementary repositories for owl_symbolic

• owlbarn / owl_opt
  Numerical Optimisation Library
  ☆15Updated last year
• owlbarn / eigen
  Owl's OCaml Interface to Eigen3 C++ Library
  ☆33Updated 2 years ago
• owlbarn / owl_ode
  Owl's Differential Equation Solvers
  ☆34Updated 2 years ago
• garrigue / lablgl
  LablGL: an openGL interface for OCaml
  ☆23Updated 10 months ago
• mirage / irmin-rpc
  RPC client/server for Irmin
  ☆19Updated 3 years ago
• janestreet / ppx_python
  [@@deriving] plugin to generate Python conversion functions
  ☆34Updated 2 weeks ago
• ocsigen / deriving
  Extension to OCaml for deriving functions from type declarations.
  ☆26Updated 3 years ago
• anentropic / ocaml-spectrum
  Library for color and formatting in the terminal
  ☆20Updated 2 years ago
• tarides / ocaml-jit
  Just In Time compiler for OCaml native toplevel
  ☆55Updated 10 months ago
• imandra-ai / ocaml-tracy
  Bindings to the Tracy profiler.
  ☆25Updated 3 weeks ago
• owlbarn / tutorial
  Owl Tutorial
  ☆6Updated 4 months ago
• UnixJunkie / bisec-tree
  Bisector tree implementation in OCaml
  ☆25Updated 7 months ago
• janestreet / tracing
  Tracing library
  ☆31Updated 2 weeks ago
• OCamlPro / memthol
  Memthol is a visualizer for memory profiling data generated from OCaml programs.
  ☆27Updated 2 years ago
• lukstafi / ocaml-cudajit
  Bindings to the `cuda` and `nvrtc` libraries with a unified interface
  ☆16Updated 3 weeks ago
• anik545 / OwlPPL
  Final Year Project - A probabilisitic programming language in OCaml
  ☆13Updated 4 years ago
• ocaml / MPP-language-blender
  MPP: a meta preprocessor that blends programming languages
  ☆32Updated last year
• keigoi / linocaml
  Monad-based linear types in OCaml, with a few syntax extensions
  ☆37Updated 5 years ago
• 4y8 / combo
  A simple parser combinator library for Ocaml
  ☆29Updated 3 years ago
• ocaml / camlp-streams
  The Stream and Genlex libraries for use with Camlp4 and Camlp5
  ☆15Updated 2 years ago
• art-w / varray
  Resizable arrays with O(ᵏ√N) insertion and deletion (Tiered Vectors)
  ☆32Updated 11 months ago
• janestreet / core_unix
  Unix-specific portions of Core
  ☆14Updated 2 weeks ago
• rgrinberg / lev
  Low Level Bindings to Libev
  ☆29Updated last month
• ocamllabs / ocaml-memory-model
  ☆27Updated 5 years ago
• janestreet / ocaml_intrinsics
  Provides functions to invoke amd64 instructions (such as clz,popcnt,rdtsc,rdpmc) when available, or compatible software implementation on…
  ☆29Updated 2 weeks ago
• koonwen / obatcher
  A Framework for building Batched Concurrent Services
  ☆20Updated last month
• mirage / metrics
  Infrastructure to collect metrics from OCaml applications.
  ☆45Updated last year
• janestreet / base_quickcheck
  Randomized testing framework, designed for compatibility with Base
  ☆17Updated 2 weeks ago
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆34Updated 6 years ago