a-nikolaev / visualsc

Related projects ⓘ

Alternatives and complementary repositories for visualsc

• owlbarn / owl_ode
  Owl's Differential Equation Solvers
  ☆34Updated 2 years ago
• Deducteam / zenon_modulo
  First-order automated theorem prover based on the tableau method
  ☆12Updated this week
• c-cube / mc2
  [research] A modular SMT solver in OCaml, based on mcSAT
  ☆39Updated 10 months ago
• mmottl / cfg
  OCaml library for manipulating context-free grammars
  ☆18Updated 2 weeks ago
• JUrban / MPTP2
  ☆19Updated 7 years ago
• afeinberg / ocaml-tinylisp
  An absurdly tiny Lisp interpreter in OCaml
  ☆30Updated 12 years ago
• kiranandcode / guile-ocaml
  GNU Guile Scheme bindings for OCaml
  ☆15Updated 2 years ago
• dc-mak / NumLin
  NumLin: Linear Types for Linear Algebra
  ☆23Updated last year
• OCamlPro / optal
  A new language for optimization
  ☆13Updated 3 years ago
• owlbarn / eigen
  Owl's OCaml Interface to Eigen3 C++ Library
  ☆33Updated 2 years ago
• Gbury / archsat
  A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superpos…
  ☆27Updated last year
• owlbarn / owl_opt
  Numerical Optimisation Library
  ☆15Updated last year
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆32Updated 6 months ago
• janestreet / sexp
  S-expression swiss knife
  ☆43Updated last week
• vasilisp / inez
  A Constraint Solver
  ☆12Updated 8 years ago
• janestreet / universe
  Jane Street universe
  ☆17Updated 4 years ago
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆33Updated 11 years ago
• zenon-prover / zenon
  The Zenon theorem prover
  ☆14Updated last year
• LPCIC / matita
  Matita (proof assistant) with embedded elpi
  ☆11Updated 6 years ago
• arquicanedo / graph2sheaves
  Sheaves library for graph abstractions based on NetworkX
  ☆14Updated 5 years ago
• LaurentMazare / ocaml.jl
  Prototype code for some Julia-OCaml bindings
  ☆12Updated 3 years ago
• namin / biohacker
  debugging biological networks to reach coherence, completeness and consistency
  ☆43Updated 9 months ago
• mirage / irmin-rpc
  RPC client/server for Irmin
  ☆19Updated 3 years ago
• leuschel / logen
  Offline partial evaluation system for Prolog written using the cogen approach
  ☆19Updated 8 years ago
• OCamlPro / ocplib-simplex
  A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities
  ☆13Updated 5 months ago
• hennequin-lab / gp
  Simple OCaml interface for Gnuplot
  ☆11Updated 3 years ago
• xavierleroy / ocamlmpi
  OCaml/MPI interface
  ☆24Updated 7 months ago
• coq-community / atbr
  Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]
  ☆23Updated last month
• pveber / ocaml-r
  Objective Caml binding embedding the R interpreter
  ☆34Updated 11 months ago
• nfzhou / lp-contest
  ☆10Updated last month