Drup / LILiS

Related projects ⓘ

Alternatives and complementary repositories for LILiS

• mirleft / ocaml-asn1-combinators
  Embed typed ASN.1 grammars in OCaml
  ☆34Updated 2 months ago
• b0-system / b0
  Software construction and deployment kit
  ☆33Updated last week
• whitequark / ocaml-lz4
  OCaml bindings for LZ4, a very fast lossless compression algorithm
  ☆25Updated last year
• ujamjar / hardcaml-zinc
  HardCaml implementation of the OCaml ZINC Abstract Machine
  ☆43Updated 4 years ago
• let-def / owee
  OCaml library to work with DWARF format
  ☆33Updated 2 months ago
• bobatkey / modulog
  A Datalog implementation with an OCaml inspired module system
  ☆44Updated 6 years ago
• keigoi / linocaml
  Monad-based linear types in OCaml, with a few syntax extensions
  ☆37Updated 5 years ago
• dbuenzli / omod
  Lookup and load installed OCaml modules
  ☆16Updated 3 weeks ago
• inhabitedtype / bigstringaf
  Bigstring intrinsics and fast blits based on memcpy/memmove
  ☆37Updated 4 months ago
• dbuenzli / trel
  Relational programming for OCaml (unreleased)
  ☆25Updated 2 years ago
• mirleft / libnqsb-tls
  OCaml-TLS exposed to C
  ☆23Updated 6 years ago
• smimram / funk
  Functional kernel written in OCaml.
  ☆32Updated 11 years ago
• mransan / btree
  A B-Tree implementation in OCaml
  ☆23Updated 8 years ago
• ygrek / extunix
  Thin OCaml bindings to various low-level system APIs not covered by Unix module
  ☆51Updated 3 months ago
• Drup / dowsing
  ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression
  ☆33Updated 2 weeks ago
• whitequark / ocaml-llvm-ng
  A practical LLVM backend for OCaml (will never be finished)
  ☆33Updated 10 years ago
• rgrinberg / onanomsg
  nanomsg bindings for ocaml
  ☆38Updated 4 years ago
• adrieng / pulsar
  Experimental functional language
  ☆18Updated 2 years ago
• krohrer / caml-inspect
  Inspection of internal value representations and the object graph
  ☆33Updated 8 years ago
• mlin / should.ml
  Literate assertions for OCaml
  ☆18Updated 5 years ago
• stevenvar / OCaLustre
  OCaml syntax extension for synchronous programming...
  ☆31Updated last year
• oklm-wsh / MrMime
  What do you mean ?
  ☆29Updated 6 years ago
• kni / sml-ev
  kqueue (*BSD) and epoll (Linux) library for Standard ML (MLton and Poly/ML)
  ☆24Updated 6 months ago
• Drup / modulectomy
  Dissect OCaml compiled programs, and weight their content
  ☆24Updated 2 years ago
• jashug / FormalizedCompilerAlgorithms
  Formalization in Coq of algorithms used in compilers for the Compiler.org project
  ☆15Updated 5 years ago
• mransan / raft
  Implementation of the Raft protocol in OCaml
  ☆20Updated 7 years ago
• jmid / efftester
  Effect-Driven Compiler Tester for OCaml
  ☆38Updated 5 years ago
• manshengyang / minikanren-ocaml
  miniKanren in OCaml
  ☆31Updated last year
• UnixJunkie / bisec-tree
  Bisector tree implementation in OCaml
  ☆25Updated 7 months ago