lindig / lipsum

Related projects ⓘ

Alternatives and complementary repositories for lipsum

• mirleft / ocaml-asn1-combinators
  Embed typed ASN.1 grammars in OCaml
  ☆34Updated 2 months ago
• ujamjar / hardcaml-zinc
  HardCaml implementation of the OCaml ZINC Abstract Machine
  ☆43Updated 4 years ago
• Drup / tree_layout
  Algorithms to layout trees in a pretty manner.
  ☆36Updated 2 years ago
• gfngfn / toy-macro-ml
  An implementation of MacroML [Ganz, Sabry & Taha 2001]
  ☆30Updated 5 years ago
• manshengyang / minikanren-ocaml
  miniKanren in OCaml
  ☆31Updated last year
• liamoc / hilbert
  An intensely interactive, graphical theorem prover based on natural deduction
  ☆29Updated 10 years ago
• aryx / syncweb
  literate programming meets unison
  ☆27Updated 6 months ago
• whitequark / ocaml-llvm-ng
  A practical LLVM backend for OCaml (will never be finished)
  ☆33Updated 10 years ago
• bobatkey / modulog
  A Datalog implementation with an OCaml inspired module system
  ☆44Updated 6 years ago
• Chris00 / ocaml-rope
  Ropes ("heavyweight strings") for OCaml
  ☆49Updated 3 months ago
• rgrinberg / onanomsg
  nanomsg bindings for ocaml
  ☆38Updated 4 years ago
• xavierleroy / ocamlagrep
  String searching with errors, using the Wu-Manber algorithm
  ☆23Updated 2 years ago
• zinid / delimcc
  Delimited continuations in byte-code and native OCaml
  ☆26Updated 3 years ago
• c-cube / choice
  Choice operator in OCaml, providing a backtracking monad
  ☆24Updated 2 years ago
• janestreet / fieldslib
  OCaml record fields as first class values
  ☆21Updated 2 months ago
• ocsigen / deriving
  Extension to OCaml for deriving functions from type declarations.
  ☆26Updated 3 years ago
• 4y8 / combo
  A simple parser combinator library for Ocaml
  ☆29Updated 3 years ago
• PLTools / GT
  Datatype-generic object-oriented transformations for OCaml
  ☆16Updated 3 months ago
• andrewray / iocamljs
  An OCaml javascript kernel for the IPython notebook
  ☆58Updated 7 years ago
• ocamllabs / ocaml-memory-model
  ☆27Updated 5 years ago
• mirage / ocaml-lazy-trie
  Lazy prefix trees in OCaml
  ☆23Updated 4 years ago
• mirage / ocaml-vchan
  Pure OCaml implementation of the "vchan" shared-memory communication protocol
  ☆45Updated 6 months ago
• nojb / ocaml-bt
  OCaml BitTorrent library and client
  ☆39Updated 2 years ago
• ocaml / MPP-language-blender
  MPP: a meta preprocessor that blends programming languages
  ☆32Updated last year
• samoht / depyt
  Yet another type combinator library
  ☆54Updated 2 years ago
• NVIDIA / remorac
  ☆38Updated 8 years ago
• doublec / shen-wasp
  Port of Shen to run on top of Wasp Lisp
  ☆25Updated 2 years ago
• rowandavies / sml-cidre
  SML Checker for Intersection and Datasort Refinements (pronounced "cider")
  ☆20Updated 11 years ago
• let-def / ocamp
  Reactive programming… in the shell
  ☆30Updated 7 years ago