hazelgrove/HZ external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

hazelgrove/HZ

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/hazelgrove/HZ)

Close

hazelgrove / HZView on GitHubMore

• External links
• Readme badge

Simple reference implementation of Hazelnut using js_of_ocaml and OCaml React. (frozen -- ongoing development in the hazel repo)

☆30Sep 4, 2017Updated 8 years ago

Alternatives and similar repositories for HZ

Users that are interested in HZ are comparing it to the libraries listed below

• hazelgrove / agda-popl17

  View on GitHub
  Mechanization of Hazelnut, as submitted to POPL 2017
  ☆16Nov 24, 2021Updated 4 years ago
• yallop / ocaml-pb-plugin

  View on GitHub
  A protoc plugin for generating OCaml code from protobuf (.proto) files.
  ☆17Nov 30, 2019Updated 6 years ago
• dsheets / blueprint

  View on GitHub
  Simple templating based on XML ropes
  ☆12Sep 4, 2015Updated 10 years ago
• Drup / pl-experiments

  View on GitHub
  ☆12Jul 10, 2020Updated 5 years ago
• Armael / lam

  View on GitHub
  ☆15Mar 12, 2016Updated 9 years ago
• kayceesrk / ocaml15-eff

  View on GitHub
  Examples for Algebraic Effects talk at OCaml'15 Workshop
  ☆15May 31, 2016Updated 9 years ago
• ygrek / scraps

  View on GitHub
  moved to
  ☆10Oct 10, 2025Updated 4 months ago
• kayceesrk / irmin-datatypes

  View on GitHub
  A collection of functional, mergeable datatypes for Irmin
  ☆12Dec 25, 2016Updated 9 years ago
• vouillon / animals

  View on GitHub
  A phylogenetic tree of animals
  ☆13Sep 25, 2016Updated 9 years ago
• cryptosense / key-parsers

  View on GitHub
  OCaml parsers for multiple key formats
  ☆15Aug 1, 2024Updated last year
• kandu / mew_vi

  View on GitHub
  Modal editing witch, VI interpreter
  ☆11May 29, 2020Updated 5 years ago
• choeger / ppx_deriving_morphism

  View on GitHub
  Deriving morphisms for OCaml data structures
  ☆10Aug 28, 2019Updated 6 years ago
• patricoferris / jsoo-mithril

  View on GitHub
  Js_of_ocaml bindings for MithrilJS
  ☆19Jan 23, 2021Updated 5 years ago
• dsheets / ocaml-process

  View on GitHub
  Easy process control in OCaml
  ☆17Mar 23, 2023Updated 2 years ago
• mshinwell / libmonda

  View on GitHub
  Make OCaml native debugging awesome
  ☆32Dec 30, 2019Updated 6 years ago
• hyper-systems / ocaml-coap

  View on GitHub
  Constrained Application Protocol (RFC 7252) implementation for OCaml.
  ☆12Apr 3, 2024Updated last year
• kayceesrk / riscv-ocaml-cross

  View on GitHub
  RISC-V OCaml cross compiler
  ☆14Feb 25, 2019Updated 7 years ago
• Leonidas-from-XIV / ocaml-wiringpi

  View on GitHub
  Binding to the WiringPi library
  ☆13Sep 8, 2021Updated 4 years ago
• jacquev6 / hashids-ocaml

  View on GitHub
  OCaml implementation of http://hashids.org
  ☆12Nov 17, 2018Updated 7 years ago
• ciaran16 / shell

  View on GitHub
  Lets you create interactive shells in OCaml.
  ☆10Sep 13, 2016Updated 9 years ago
• zinid / ocaml-erlang

  View on GitHub
  Implementation of some Erlang primitives in OCaml
  ☆11Jun 16, 2017Updated 8 years ago
• vasilisp / inez

  View on GitHub
  A Constraint Solver
  ☆12Dec 4, 2015Updated 10 years ago
• ocaml-multicore / multicore-bench

  View on GitHub
  Framework for benchmarking on multiple cores on current-bench
  ☆14Jun 14, 2025Updated 8 months ago
• skydeck / cmitomli

  View on GitHub
  Convert a cmi file back to an mli interface
  ☆13Oct 4, 2012Updated 13 years ago
• andrejbauer / repl-in-browser

  View on GitHub
  Implementation of a language interpreter in the browser, using js_of_ocaml.
  ☆15Dec 25, 2017Updated 8 years ago
• mirage / mmap

  View on GitHub
  File mapping
  ☆13Dec 14, 2023Updated 2 years ago
• yallop / ocaml-pb

  View on GitHub
  An OCaml library for describing Protobuf messages
  ☆30Feb 4, 2021Updated 5 years ago
• lidcore / bucklescript-serverless-media-pipeline-demo

  View on GitHub
  Media processing pipeline proof of concept using bucklescript and serverless
  ☆12May 16, 2018Updated 7 years ago
• objmagic / LR

  View on GitHub
  explore different techniques to generate LR(k) parsing code
  ☆14Jan 29, 2016Updated 10 years ago
• let-def / assimp

  View on GitHub
  Bindings to Assimp, a 3D assets (mesh, material, scenes) importer
  ☆11Nov 28, 2016Updated 9 years ago
• xvw / drumaderian

  View on GitHub
  Drumaderian is a small framework for building VideoGame over Js_of_ocaml using Canvas. But... still in progress !
  ☆12Jun 24, 2017Updated 8 years ago
• dariusf / ppx_debug

  View on GitHub
  Tools for record-and-replay debugging
  ☆44Mar 9, 2023Updated 2 years ago
• Ucombinator / parsing-with-zippers

  View on GitHub
  A clean implementation of Parsing with Zippers.
  ☆38Sep 22, 2018Updated 7 years ago
• bikallem / jsoo_todomvc

  View on GitHub
  Todo App implemented in js_of_ocaml
  ☆22Sep 12, 2020Updated 5 years ago
• slegrand45 / examples_ocsigen

  View on GitHub
  Some code examples made with Ocsigen / js_of_ocaml
  ☆20Apr 30, 2020Updated 5 years ago
• mlin / should.ml

  View on GitHub
  Literate assertions for OCaml
  ☆18Oct 3, 2019Updated 6 years ago
• rleonid / bau

  View on GitHub
  BigArray Utilities
  ☆13Feb 19, 2018Updated 8 years ago
• yallop / ocaml-safe-string-buffer

  View on GitHub
  A buffer implementation optimized for immutable strings.
  ☆14Feb 5, 2016Updated 10 years ago
• reynir / ocaml-ssh-agent

  View on GitHub
  ☆16Jan 16, 2025Updated last year