Alternatives and similar repositories for texsearch

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

• owlbarn / owl_ode
  Owl's Differential Equation Solvers
  ☆35Updated 3 years ago
• orbitz / opass
  Simple password db
  ☆23Updated 6 years ago
• smimram / funk
  Functional kernel written in OCaml.
  ☆34Updated 11 years ago
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆34Updated 6 years ago
• UCSD-PL / veridrone
  Foundational Verification of Hybrid Systems
  ☆15Updated 8 years ago
• dc-mak / NumLin
  NumLin: Linear Types for Linear Algebra
  ☆23Updated 2 years ago
• Deducteam / zenon_modulo
  First-order automated theorem prover based on the tableau method
  ☆17Updated last month
• mmottl / cfg
  OCaml library for manipulating context-free grammars
  ☆20Updated 3 weeks ago
• aryx / syncweb
  literate programming meets unison
  ☆29Updated this week
• akabe / ppx_bigarray
  A PPX extension for big array literals in OCaml
  ☆20Updated 7 years ago
• nojb / riscv-ocaml
  RISC-V port of the OCaml system
  ☆43Updated 5 years ago
• owlbarn / owl_opt
  Numerical Optimisation Library
  ☆17Updated 2 years ago
• craff / phox
  ☆14Updated 7 months ago
• freuk / obandit
  ocaml multi-armed bandit module
  ☆19Updated 5 years ago
• NVIDIA / remorac
  ☆40Updated 9 years ago
• c-cube / smbc
  Experimental model finder/SMT solver for functional programming.
  ☆23Updated 3 years ago
• sternenseemann / logbook
  A tool for keeping a personal log
  ☆16Updated 8 months ago
• andrewray / iocamljs
  An OCaml javascript kernel for the IPython notebook
  ☆58Updated 8 years ago
• mshinwell / libmonda
  Make OCaml native debugging awesome
  ☆32Updated 5 years ago
• owlbarn / eigen
  Owl's OCaml Interface to Eigen3 C++ Library
  ☆33Updated 3 years ago
• cuplv / raz.ocaml
  Random Access Zipper in OCaml
  ☆14Updated 8 years ago
• mmcco / verified-parser-example
  A minimal example of a formally verified parser using ocamllex and Menhir's Coq backend.
  ☆20Updated 10 years ago
• yallop / metaocaml-syb
  Scrap Your Boilerplate for MetaOCaml with modular implicits
  ☆18Updated 9 years ago
• SMLFamily / SML-The-Living-Language
  SML, The Living Language (aka, Successor ML)
  ☆72Updated 9 years ago
• math-comp / multinomials
  Multinomials for the Mathematical Components library.
  ☆15Updated this week
• Armael / papiers
  A tool to index your papers/interesting links/... and quickly search through them
  ☆49Updated 3 years ago
• tuura / selective-theory-coq
  Selective applicative functors laws and theorems
  ☆14Updated 5 years ago
• smimram / strid
  A string diagram generator for LaTeX.
  ☆30Updated 2 years ago
• kayceesrk / multiMLton
  MLton for scalable multicore architectures
  ☆57Updated 11 years ago
• mirage / mrmime
  What do you mean?
  ☆45Updated 6 months ago