Alternatives and similar repositories for texsearch

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

• NVIDIA / remorac
  ☆38Updated 9 years ago
• Deducteam / zenon_modulo
  First-order automated theorem prover based on the tableau method
  ☆15Updated 7 months ago
• dc-mak / NumLin
  NumLin: Linear Types for Linear Algebra
  ☆23Updated 2 years ago
• owlbarn / owl_ode
  Owl's Differential Equation Solvers
  ☆35Updated 3 years ago
• JUrban / MPTP2
  ☆19Updated 8 years ago
• cpitclaudel / fstar.js
  F* running in the browser
  ☆21Updated 5 years ago
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆35Updated 6 years ago
• smimram / funk
  Functional kernel written in OCaml.
  ☆33Updated 11 years ago
• frex-project / metaocaml-frex
  ☆20Updated last month
• owlbarn / eigen
  Owl's OCaml Interface to Eigen3 C++ Library
  ☆33Updated 3 years ago
• akabe / ppx_bigarray
  A PPX extension for big array literals in OCaml
  ☆20Updated 6 years ago
• janestreet / core_extended
  Jane Street Capital's standard library overlay
  ☆36Updated last month
• bmsherman / topology
  Formal topology (and some probability) in Coq
  ☆32Updated 6 years ago
• kayceesrk / multiMLton
  MLton for scalable multicore architectures
  ☆57Updated 11 years ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆33Updated 6 years ago
• xavierleroy / ocamlmpi
  OCaml/MPI interface
  ☆26Updated 5 months ago
• CategoricalData / HoTT-categories
  A category theory library built on top of Homotopy Type Theory, by Jason Gross
  ☆25Updated 11 years ago
• maude-team / full-maude
  Automatically exported from code.google.com/p/full-maude
  ☆16Updated last year
• mshinwell / libmonda
  Make OCaml native debugging awesome
  ☆32Updated 5 years ago
• ohad / SIGPLAN-Most-Influential-POPL-Papers
  ☆11Updated 10 years ago
• leanprover / presentations
  lean-related presentations
  ☆16Updated last year
• ISANobody / sill
  ☆29Updated 9 years ago
• OlivierNicole / ocaml
  The core OCaml system: compilers, runtime system, base libraries
  ☆21Updated last week
• rocq-community / huffman
  Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]
  ☆14Updated last year
• mirage / ocaml-pcap
  OCaml code for generating and analysing pcap (packet capture) files
  ☆21Updated last month
• aryx / syncweb
  literate programming meets unison
  ☆28Updated last week
• UCSD-PL / veridrone
  Foundational Verification of Hybrid Systems
  ☆15Updated 8 years ago
• leuschel / logen
  Offline partial evaluation system for Prolog written using the cogen approach
  ☆19Updated 8 years ago
• math-comp / multinomials
  Multinomials for the Mathematical Components library.
  ☆14Updated this week
• Armael / papiers
  A tool to index your papers/interesting links/... and quickly search through them
  ☆49Updated 3 years ago