jamii / texsearch

Related projects: ⓘ

• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆34Updated 5 years ago
• ohad / SIGPLAN-Most-Influential-POPL-Papers
  ☆11Updated 9 years ago
• aryx / syncweb
  literate programming meets unison
  ☆28Updated 4 months ago
• vouillon / ocaml-android
  Ocaml cross-compiler for Android
  ☆45Updated 9 years ago
• ocaml / ocaml-manual
  OBSOLETE, ARCHIVED mirror of the OCaml manual
  ☆15Updated last year
• kayceesrk / multiMLton
  MLton for scalable multicore architectures
  ☆57Updated 10 years ago
• effuse / profuse
  An OCaml implementation of the FUSE protocol versions 7.8 and 7.23
  ☆30Updated 6 years ago
• janestreet / async_parallel
  Distributed computing library
  ☆35Updated 6 years ago
• cpitclaudel / fstar.js
  F* running in the browser
  ☆21Updated 5 years ago
• UCSD-PL / veridrone
  Foundational Verification of Hybrid Systems
  ☆15Updated 7 years ago
• owlbarn / owl_guide
  ☆15Updated this week
• backtracking / combine
  OCaml library for combinatorics
  ☆35Updated last week
• tel / ocaml-transducers
  Transducers in OCaml. About as Haskelly as you can manage. Hoping to fix that.
  ☆17Updated 9 years ago
• mirleft / ocaml-asn1-combinators
  Embed typed ASN.1 grammars in OCaml
  ☆35Updated 2 weeks ago
• whitequark / ocaml-llvm-ng
  A practical LLVM backend for OCaml (will never be finished)
  ☆33Updated 10 years ago
• aliceml / aliceml-alice
  Alice ML implementation
  ☆17Updated last year
• smimram / funk
  Functional kernel written in OCaml.
  ☆32Updated 10 years ago
• liamoc / hilbert
  An intensely interactive, graphical theorem prover based on natural deduction
  ☆30Updated 10 years ago
• nojb / ocaml-dht
  OCaml bindings for jech/dht
  ☆24Updated 4 years ago
• eatonphil / libocamurl
  ☆13Updated this week
• ocaml-community / biniou
  Extensible binary data format, like JSON but faster
  ☆43Updated 2 years ago
• jonsterling / tt
  secret project
  ☆17Updated 6 years ago
• orbitz / opass
  Simple password db
  ☆23Updated 5 years ago
• MLton / mltonlib
  The MLtonLibrary repository
  ☆34Updated last year
• yallop / metaocaml-syb
  Scrap Your Boilerplate for MetaOCaml with modular implicits
  ☆18Updated 8 years ago
• owlbarn / owl_opt
  Numerical Optimisation Library
  ☆15Updated last year
• aluuu / spatial_index
  Implementation of several spatial indexes (R-tree, etc.)
  ☆18Updated last year
• ocaml / MPP-language-blender
  MPP: a meta preprocessor that blends programming languages
  ☆33Updated last year
• Drup / LILiS
  L-system interpreter in OCaml
  ☆23Updated 8 years ago
• manshengyang / minikanren-ocaml
  miniKanren in OCaml
  ☆31Updated last year