Alternatives and similar repositories for texsearch:

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

• 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
  ☆15Updated 5 months ago
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆35Updated 6 years ago
• orbitz / opass
  Simple password db
  ☆23Updated 6 years ago
• aryx / syncweb
  literate programming meets unison
  ☆27Updated this week
• mshinwell / libmonda
  Make OCaml native debugging awesome
  ☆32Updated 5 years ago
• bmsherman / topology
  Formal topology (and some probability) in Coq
  ☆32Updated 6 years ago
• cpitclaudel / fstar.js
  F* running in the browser
  ☆21Updated 5 years ago
• akabe / ppx_bigarray
  A PPX extension for big array literals in OCaml
  ☆20Updated 6 years ago
• kayceesrk / multiMLton
  MLton for scalable multicore architectures
  ☆57Updated 11 years ago
• ohad / SIGPLAN-Most-Influential-POPL-Papers
  ☆11Updated 10 years ago
• dpiponi / formal-weyl
  The algebra for formal power series in elements of the Weyl algebra
  ☆18Updated 6 years ago
• CategoricalData / HoTT-categories
  A category theory library built on top of Homotopy Type Theory, by Jason Gross
  ☆25Updated 11 years ago
• jdoughertyii / hott-species
  Combinatorial species in HoTT
  ☆12Updated 9 years ago
• Drup / LILiS
  L-system interpreter in OCaml
  ☆22Updated 9 years ago
• mirage / irmin-rpc
  RPC client/server for Irmin
  ☆19Updated 3 years ago
• UCSD-PL / veridrone
  Foundational Verification of Hybrid Systems
  ☆15Updated 8 years ago
• effuse / profuse
  An OCaml implementation of the FUSE protocol versions 7.8 and 7.23
  ☆30Updated 7 years ago
• JUrban / MPTP2
  ☆19Updated 8 years ago
• bobatkey / modulog
  A Datalog implementation with an OCaml inspired module system
  ☆44Updated 6 years ago
• smimram / funk
  Functional kernel written in OCaml.
  ☆32Updated 11 years ago
• mirage / ocaml-pcap
  OCaml code for generating and analysing pcap (packet capture) files
  ☆21Updated last year
• MLton / mltonlib
  The MLtonLibrary repository
  ☆36Updated 2 years ago
• ocaml-community / biniou
  Extensible binary data format, like JSON but faster
  ☆43Updated 2 years ago
• coq-io / hello-world
  A Hello World program in Coq.
  ☆17Updated 2 years ago
• aryx / xix
  Plan9 software ported to OCaml
  ☆25Updated this week
• sdiehl / picologic
  Symbolic logic expressions
  ☆14Updated 4 years ago
• bgamari / optimization
  Some numerical optimization methods implemented in Haskell
  ☆47Updated 4 years ago
• sternenseemann / logbook
  A tool for keeping a personal log
  ☆16Updated 4 months ago
• avsm / docker-opam
  Docker container for an OCaml + OPAM setup
  ☆24Updated 8 years ago