brownplt / ML-LambdaJS

Related projects ⓘ

Alternatives and complementary repositories for ML-LambdaJS

• tel / ocaml-transducers
  Transducers in OCaml. About as Haskelly as you can manage. Hoping to fix that.
  ☆17Updated 9 years ago
• brownplt / LambdaJS
  Semantics and tools for JavaScript
  ☆90Updated 2 years ago
• brownplt / LambdaS5
  Semantics for ES5
  ☆81Updated 9 years ago
• aplusbi / OCaml-FFI-presentation
  ☆11Updated 12 years ago
• manshengyang / minikanren-ocaml
  miniKanren in OCaml
  ☆31Updated last year
• plum-umd / adapton.ocaml
  (Nominal) Adapton in OCaml
  ☆50Updated 8 years ago
• hazelgrove / HZ
  Simple reference implementation of Hazelnut using js_of_ocaml and OCaml React. (frozen -- ongoing development in the hazel repo)
  ☆29Updated 7 years ago
• aryx / lfs
  logic file system
  ☆28Updated 6 years ago
• OlivierNicole / macros-examples
  Examples to illustrate the use of experimental OCaml macros
  ☆11Updated 6 years ago
• dbuenzli / ppx_utf8_lit
  UTF-8 string literals and patterns for OCaml (unreleased)
  ☆21Updated 9 years ago
• arlencox / QUICr
  QUICr parametric abstract domain for sets
  ☆12Updated 9 years ago
• little-arhat / ocaml-fb-react-playground
  repo to play with react.js from js_of_ocaml
  ☆18Updated 8 years ago
• yallop / metaocaml-syb
  Scrap Your Boilerplate for MetaOCaml with modular implicits
  ☆18Updated 8 years ago
• jaked / deriving
  Extension to OCaml for deriving functions from type declarations.
  ☆25Updated 14 years ago
• andrewray / iocamlserver
  Web server for IOCaml
  ☆22Updated 7 years ago
• imandra-ai / ocaml-pltp
  OCaml PLTP: An independent reproduction of the Boyer-Moore Pure Lisp Theorem Prover
  ☆14Updated 6 years ago
• andreas / mirage-swim
  Membership protocol for Mirage unikernel clusters based on SWIM
  ☆18Updated 8 years ago
• camlspotter / ocamloscope
  OCaml API search engine
  ☆25Updated 8 years ago
• tel / ocaml-cats
  Signatures of the category theoretic style; a experiment in flattery
  ☆27Updated 9 years ago
• avsm / opam-boot
  Bootstrap scripts to build standalone OPAM projects
  ☆15Updated 7 years ago
• janestreet / camlp4-to-ppx
  Convert from camlp4 + syntax extensions to regular OCaml + extension points and attributes
  ☆22Updated 5 years ago
• gasche / opam-compiler-conf
  A small script to create short-lived OPAM compiler switches from experimental OCaml branches
  ☆18Updated 5 years ago
• solvuu / solvuu-build
  DEPRECATED. We recommend Jane Street's dune (formerly jbuilder).
  ☆24Updated 7 years ago
• ravichugh / djs
  Dependent JavaScript: A Typed Dialect
  ☆87Updated 11 years ago
• camlunity / ocaml-quickcheck
  OCaml QuickCheck
  ☆20Updated 9 years ago
• mor1 / mirage-tutorial
  MirageOS tutorial notebooks using IOCaml
  ☆16Updated 7 years ago
• ohad / SIGPLAN-Most-Influential-POPL-Papers
  ☆11Updated 9 years ago
• yziquel / OCaml-R
  Objective Caml binding embedding the R interpreter
  ☆23Updated 14 years ago
• andrejbauer / kmeans
  A demonstration of Ocaml modules & functors for machine learning.
  ☆11Updated 9 years ago