Alternatives and similar repositories for ocaml-esp32:

Users that are interested in ocaml-esp32 are comparing it to the libraries listed below

• ziman / idris-ocaml
  OCaml back end for Idris
  ☆22Updated 7 years ago
• ioanluca / real-world-idris
  Malfunction backend for Idris with a FFI to OCaml
  ☆28Updated 5 years ago
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆35Updated 6 years ago
• hazelgrove / hazelnut-dynamics-agda
  mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics
  ☆21Updated 10 months ago
• well-typed-lightbulbs / mirage-esp32
  Mirage OS bindings for ESP32
  ☆28Updated 5 years ago
• 4y8 / combo
  A simple parser combinator library for Ocaml
  ☆30Updated 3 years ago
• gfngfn / toy-macro-ml
  An implementation of MacroML [Ganz, Sabry & Taha 2001]
  ☆32Updated 6 years ago
• Saizan / miller
  Miller/pattern unification in Agda
  ☆65Updated 11 years ago
• zinid / delimcc
  Delimited continuations in byte-code and native OCaml
  ☆27Updated 4 years ago
• patricoferris / riscv-o-spec
  An OCaml extension for RISC-V
  ☆16Updated 4 years ago
• deech / LeftPad
  ☆23Updated 7 years ago
• janestreet / ppx_hash
  A ppx rewriter that generates hash functions from type expressions and definitions
  ☆16Updated 4 months ago
• jobjo / popper
  Property-based testing at ease
  ☆42Updated 3 years ago
• dbuenzli / rpi-boot-ocaml
  Raspberry Pi boot support for the OCaml system (unreleased)
  ☆55Updated 5 months ago
• nojb / riscv-ocaml
  RISC-V port of the OCaml system
  ☆43Updated 4 years ago
• Ucombinator / parsing-with-zippers
  A clean implementation of Parsing with Zippers.
  ☆37Updated 6 years ago
• mirage / ocaml-tar
  Pure OCaml library to read and write tar files
  ☆56Updated last month
• timbertson / opam2nix-packages
  nix expressions for the official opam repository, using opam2nix
  ☆27Updated 4 years ago
• well-typed-lightbulbs / ocaml-esp32
  Native compiler backend for esp32
  ☆60Updated 4 years ago
• ocamllabs / ocaml-memory-model
  ☆27Updated 5 years ago
• ocaml-multicore / multicore-talks
  Repository containing slides and examples from the 2020 OCaml Workshop talk on "Parallelising your OCaml code with Multicore OCaml"
  ☆29Updated last year
• well-typed-lightbulbs / ocaml-baremetal-esp32
  ☆17Updated 5 years ago
• mirage / mrmime
  What do you mean?
  ☆43Updated last month
• rocq-community / coqoban
  Sokoban (in Coq) [maintainer=@erikmd]
  ☆22Updated 3 months ago
• LeastAuthority / haskell-magic-wormhole
  Magic Wormhole for Haskell
  ☆11Updated 11 months ago
• ianthehenry / ocamlsyntax.com
  How do you do that recursive GADT thing again?
  ☆27Updated last year
• andrejbauer / andromeda
  A minimalist implementation of type theory, suitable for experimentation
  ☆15Updated 6 months ago
• smimram / strid
  A string diagram generator for LaTeX.
  ☆26Updated last year
• wenkokke / idris-sesh
  Session types in Idris2!
  ☆27Updated 4 years ago
• pigworker / potato
  being an experiment with potato power
  ☆23Updated 5 years ago