OCaml

Hindley-Milner Type Inference Algorithm in OCaml (github.com)

by stephenmcd (420) 1 year ago | Algorithm | OCaml | 0 comments

Exploring Loop Perforation Opportunities in OCaml Programs (phfilip.com)

by stephenmcd (420) 1 year ago | OCaml | 0 comments

OCaml inside: a drop-in replacement for libtls (www.cl.cam.ac.uk)

by stephenmcd (420) 1 year ago | OCaml | 0 comments

OCaml + Cordova = more secured, typed and hybrid mobile applications (blog.danny-willems.be)

by stephenmcd (420) 1 year ago | OCaml | 0 comments

Experiments with behavioural types in OCaml (kcsrk.info)

by stephenmcd (420) 1 year ago | OCaml | 0 comments

Parallel Algorithmic Differentiation for OCaml (www.youtube.com)

by stephenmcd (420) 1 year ago | OCaml | 0 comments

OCaml mimicry in Java (engineering.vena.io)

by stephenmcd (420) 1 year ago | Java | OCaml | 0 comments

Measuring GC latencies in Haskell, OCaml, Racket (prl.ccs.neu.edu)

by stephenmcd (420) 1 year ago | Haskell | OCaml | Racket | 0 comments

Freestanding OCaml runtime (github.com)

by stephenmcd (420) 1 year ago | OCaml | 0 comments

Using OCaml to prove fairness and safety of trading algorithms (www.mondovisione.com)

by stephenmcd (420) 1 year ago | Algorithm | OCaml | 0 comments

OCaml in Operations (michipili.github.io)

by stephenmcd (420) 1 year ago | OCaml | 0 comments

An OCaml Adoption Manifesto (github.com)

by stephenmcd (420) 1 year ago | OCaml | 0 comments

BuckleScript - A JavaScript Backend For the OCaml Compiler (bloomberg.github.io)

by stephenmcd (420) 1 year ago | JavaScript | OCaml | Compiler | 0 comments

An OCaml/Mirage-friendly implementation of the Plan9 filesystem protocol (github.com)

by stephenmcd (420) 1 year ago | OCaml | 0 comments

A better inliner for OCaml, and why it matters (blogs.janestreet.com)

by stephenmcd (420) 1 year ago | OCaml | 0 comments

Why OCaml? (blogs.janestreet.com)

by stephenmcd (420) 1 year ago | OCaml | 0 comments

Call OCaml from Objective-C, run on iOS, code sample and build steps (hyegar.com)

by stephenmcd (420) 1 year ago | OCaml | Objective-C | 0 comments

OCamlScript: a JavaScript backend for the OCaml compiler (github.com)

by stephenmcd (420) 1 year ago | JavaScript | OCaml | Compiler | 0 comments

MariOCaml: HTML5 Mario, written exclusively in OCaml (github.com)

by stephenmcd (420) 1 year ago | OCaml | 0 comments

Beginnings of K interpreter written in OCaml (github.com)

by stephenmcd (420) 1 year ago | OCaml | 0 comments