Alternatives and similar repositories for visualsc

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

• owlbarn / owl_ode
  Owl's Differential Equation Solvers
  ☆35Updated 3 years ago
• Armael / papiers
  A tool to index your papers/interesting links/... and quickly search through them
  ☆49Updated 3 years ago
• kiranandcode / guile-ocaml
  GNU Guile Scheme bindings for OCaml
  ☆17Updated 3 years ago
• c-cube / mc2
  [research] A modular SMT solver in OCaml, based on mcSAT
  ☆39Updated last year
• owlbarn / owl_opt
  Numerical Optimisation Library
  ☆17Updated 2 years ago
• xavierleroy / ocamlmpi
  OCaml/MPI interface
  ☆26Updated 10 months ago
• mmottl / cfg
  OCaml library for manipulating context-free grammars
  ☆20Updated 3 months ago
• OCamlPro / optal
  A new language for optimization
  ☆13Updated 4 years ago
• ocamllabs / ocaml-memory-model
  ☆28Updated 6 years ago
• mirage / irmin-rpc
  RPC client/server for Irmin
  ☆19Updated 4 years ago
• apatil / aplomb
  Data visualization and plotting for OCaml
  ☆19Updated 8 years ago
• OCamlPro / memthol
  Memthol is a visualizer for memory profiling data generated from OCaml programs.
  ☆28Updated 3 years ago
• owlbarn / owl_symbolic
  Connect Owl with other accelerators and numerical frameworks with symbolic maths
  ☆20Updated 3 years ago
• dc-mak / NumLin
  NumLin: Linear Types for Linear Algebra
  ☆23Updated 2 years ago
• janestreet / universe
  Jane Street universe
  ☆17Updated 5 years ago
• regex-generate / regenerate
  Tool to generate test-cases for regular expression engines
  ☆38Updated 2 years ago
• c-cube / stimsym
  [toy] A rewriting language similar to the core of Mathematica
  ☆53Updated 3 years ago
• craff / phox
  ☆14Updated 10 months ago
• vasilisp / inez
  A Constraint Solver
  ☆12Updated 9 years ago
• kayceesrk / cs6225_s21_iitm
  Course Website for CS6225: Programs and Proofs @ IIT Madras
  ☆13Updated 4 years ago
• janestreet / shell
  Yet another implementation of fork&exec and related functionality
  ☆11Updated last week
• c-cube / choice
  Choice operator in OCaml, providing a backtracking monad
  ☆26Updated 3 years ago
• Deducteam / zenon_modulo
  First-order automated theorem prover based on the tableau method
  ☆17Updated this week
• janestreet / sexp
  S-expression swiss knife
  ☆47Updated last week
• c-cube / quip
  [wip] Proof format and checker for first-order and higher-order theorem provers
  ☆12Updated 2 years ago
• jbdoderlein / BetterOCaml
  A small but efficient, intuitive and responsive OCaml IDE right in your browser! Ships OCaml v5.1.1, interpreter by your browser (so it w…
  ☆42Updated 8 months ago
• janestreet / ppx_python
  ARCHIVED. [@@deriving] plugin to generate Python conversion functions
  ☆34Updated last year
• fccm / OCamlODE
  OCaml bindings for the Open Dynamics Engine (ODE), a 3D physics engine.
  ☆16Updated 3 years ago
• backtracking / ocaml-bdd
  A simple BDD library for OCaml
  ☆13Updated 6 months ago
• Timothy-G-Griffin / cc_cl_cam_ac_uk
  OCaml code for Compiler Construction course at University of Cambridge
  ☆43Updated 4 years ago