Alternatives and similar repositories for texsearch:

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

• sdiehl / picologic
  Symbolic logic expressions
  ☆14Updated 4 years ago
• smimram / strid
  A string diagram generator for LaTeX.
  ☆26Updated last year
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆34Updated 6 years ago
• akabe / ppx_bigarray
  A PPX extension for big array literals in OCaml
  ☆20Updated 6 years ago
• aryx / syncweb
  literate programming meets unison
  ☆27Updated 9 months ago
• JUrban / MPTP2
  ☆19Updated 7 years ago
• dc-mak / NumLin
  NumLin: Linear Types for Linear Algebra
  ☆23Updated 2 years ago
• Armael / papiers
  A tool to index your papers/interesting links/... and quickly search through them
  ☆49Updated 3 years ago
• UniMath / 2006_03_Homotopy_lambda_calculus
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆14Updated 10 years ago
• NVIDIA / remorac
  ☆38Updated 8 years ago
• Deducteam / zenon_modulo
  First-order automated theorem prover based on the tableau method
  ☆13Updated 2 months ago
• cpitclaudel / fstar.js
  F* running in the browser
  ☆21Updated 5 years ago
• ohad / SIGPLAN-Most-Influential-POPL-Papers
  ☆11Updated 10 years ago
• mshinwell / libmonda
  Make OCaml native debugging awesome
  ☆32Updated 5 years ago
• owlbarn / owl_ode
  Owl's Differential Equation Solvers
  ☆34Updated 3 years ago
• orbitz / opass
  Simple password db
  ☆23Updated 6 years ago
• batterseapower / lattices
  Fine-grained lattice primitives for Haskell
  ☆18Updated 6 years ago
• owlbarn / owl_opt
  Numerical Optimisation Library
  ☆16Updated last year
• coq-io / hello-world
  A Hello World program in Coq.
  ☆17Updated 2 years ago
• mirleft / libnqsb-tls
  OCaml-TLS exposed to C
  ☆23Updated 6 years ago
• xavierleroy / ocamlmpi
  OCaml/MPI interface
  ☆25Updated 2 weeks ago
• c-cube / mc2
  [research] A modular SMT solver in OCaml, based on mcSAT
  ☆39Updated last year
• ygrek / ocaml-gdb
  OCaml client to GDB machine interface, superseded by https://github.com/copy/gdbprofiler
  ☆16Updated 9 years ago
• yallop / metaocaml-syb
  Scrap Your Boilerplate for MetaOCaml with modular implicits
  ☆18Updated 9 years ago
• cuplv / raz.ocaml
  Random Access Zipper in OCaml
  ☆13Updated 8 years ago
• andrewray / iocamljs
  An OCaml javascript kernel for the IPython notebook
  ☆58Updated 7 years ago
• bobatkey / modulog
  A Datalog implementation with an OCaml inspired module system
  ☆44Updated 6 years ago
• dinakajoy / mini_github_app_using_ocaml
  A simple app to test out irmin and dream
  ☆18Updated 2 years ago
• OCamlPro / optal
  A new language for optimization
  ☆13Updated 3 years ago
• effuse / profuse
  An OCaml implementation of the FUSE protocol versions 7.8 and 7.23
  ☆30Updated 7 years ago