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
• smimram / funk
  Functional kernel written in OCaml.
  ☆36Updated 12 years ago
• mshinwell / libmonda
  Make OCaml native debugging awesome
  ☆31Updated 5 years ago
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆33Updated 7 years ago
• mmottl / cfg
  OCaml library for manipulating context-free grammars
  ☆20Updated 3 months ago
• UCSD-PL / veridrone
  Foundational Verification of Hybrid Systems
  ☆15Updated 8 years ago
• akabe / ppx_bigarray
  A PPX extension for big array literals in OCaml
  ☆19Updated 7 years ago
• orbitz / opass
  Simple password db
  ☆23Updated 7 years ago
• aryx / syncweb
  literate programming meets unison
  ☆29Updated 2 months ago
• effuse / profuse
  An OCaml implementation of the FUSE protocol versions 7.8 and 7.23
  ☆30Updated 7 years ago
• mirleft / libnqsb-tls
  OCaml-TLS exposed to C
  ☆23Updated 7 years ago
• dbuenzli / trel
  Relational programming for OCaml (unreleased)
  ☆24Updated 3 years ago
• SMLFamily / SML-The-Living-Language
  SML, The Living Language (aka, Successor ML)
  ☆72Updated 9 years ago
• akiss / akiss
  Tool for checking trace equivalence for security protocols
  ☆17Updated 5 years ago
• mirage / ocaml-pcap
  OCaml code for generating and analysing pcap (packet capture) files
  ☆20Updated 5 months ago
• ocsigen / deriving
  Extension to OCaml for deriving functions from type declarations.
  ☆26Updated 4 years ago
• ocaml-community / biniou
  Extensible binary data format, like JSON but faster
  ☆43Updated 3 years ago
• c-cube / smbc
  Experimental model finder/SMT solver for functional programming.
  ☆23Updated 3 years ago
• mirage / irmin-rpc
  RPC client/server for Irmin
  ☆19Updated 4 years ago
• inria-parkas / sundialsml
  An OCaml interface to the Sundials suite of numeric solvers.
  ☆26Updated 2 months ago
• CGenie / ray-tracer
  The Ray Tracer Challenge book solutions in Ocaml
  ☆13Updated 4 years ago
• ujamjar / reedsolomon
  Reed-Solomon Error Correction CODEC
  ☆26Updated 7 years ago
• Drup / LILiS
  L-system interpreter in OCaml
  ☆21Updated 9 years ago
• c-cube / stimsym
  [toy] A rewriting language similar to the core of Mathematica
  ☆53Updated 3 years ago
• modular-macros / ocaml-macros
  OCaml with macros
  ☆60Updated last month
• nojb / riscv-ocaml
  RISC-V port of the OCaml system
  ☆44Updated 5 years ago
• Armael / papiers
  A tool to index your papers/interesting links/... and quickly search through them
  ☆49Updated 3 years ago
• owlbarn / eigen
  Owl's OCaml Interface to Eigen3 C++ Library
  ☆33Updated 3 years ago
• owlbarn / owl_opt
  Numerical Optimisation Library
  ☆17Updated 2 years ago
• kayceesrk / multiMLton
  MLton for scalable multicore architectures
  ☆59Updated 11 years ago