Alternatives and similar repositories for texsearch

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

• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆33Updated 7 years ago
• owlbarn / owl_ode
  Owl's Differential Equation Solvers
  ☆35Updated 4 years ago
• aryx / syncweb
  literate programming meets unison
  ☆28Updated 3 weeks ago
• owlbarn / owl_opt
  Numerical Optimisation Library
  ☆17Updated 2 years ago
• smimram / funk
  Functional kernel written in OCaml.
  ☆36Updated 12 years ago
• Drup / LILiS
  L-system interpreter in OCaml
  ☆21Updated 10 years ago
• mmottl / cfg
  OCaml library for manipulating context-free grammars
  ☆20Updated 2 months ago
• akabe / ppx_bigarray
  A PPX extension for big array literals in OCaml
  ☆19Updated 7 years ago
• backtracking / combine
  OCaml library for combinatorics
  ☆35Updated 8 months ago
• NVIDIA / remorac
  ☆40Updated 9 years ago
• xavierleroy / ocamlmpi
  OCaml/MPI interface
  ☆27Updated last year
• mshinwell / libmonda
  Make OCaml native debugging awesome
  ☆32Updated 6 years ago
• mirage / irmin-rpc
  RPC client/server for Irmin
  ☆19Updated 4 years ago
• dc-mak / NumLin
  NumLin: Linear Types for Linear Algebra
  ☆23Updated 3 years ago
• orbitz / opass
  Simple password db
  ☆23Updated 7 years ago
• ocaml-community / biniou
  Extensible binary data format, like JSON but faster
  ☆43Updated 3 years ago
• mirage / ocaml-vchan
  Pure OCaml implementation of the "vchan" shared-memory communication protocol
  ☆45Updated 11 months ago
• inria-parkas / sundialsml
  An OCaml interface to the Sundials suite of numeric solvers.
  ☆26Updated 5 months ago
• owlbarn / eigen
  Owl's OCaml Interface to Eigen3 C++ Library
  ☆33Updated 3 years ago
• craff / phox
  ☆14Updated last year
• andrewray / iocamljs
  An OCaml javascript kernel for the IPython notebook
  ☆58Updated 8 years ago
• kayceesrk / multiMLton
  MLton for scalable multicore architectures
  ☆59Updated 11 years ago
• mirage / mrmime
  What do you mean?
  ☆47Updated 2 months ago
• whitequark / ocaml-lz4
  OCaml bindings for LZ4, a very fast lossless compression algorithm
  ☆25Updated 2 years ago
• mirage / index
  A platform-agnostic multi-level index
  ☆33Updated this week
• xavierleroy / ocamlagrep
  String searching with errors, using the Wu-Manber algorithm
  ☆23Updated last year
• ocsigen / deriving
  Extension to OCaml for deriving functions from type declarations.
  ☆26Updated 4 years ago
• Armael / papiers
  A tool to index your papers/interesting links/... and quickly search through them
  ☆49Updated 4 years ago
• Deducteam / zenon_modulo
  First-order automated theorem prover based on the tableau method
  ☆18Updated last month
• UCSD-PL / veridrone
  Foundational Verification of Hybrid Systems
  ☆15Updated 8 years ago