Alternatives and similar repositories for ocaml-esp32

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

• ocaml-multicore / multicore-talks
  Repository containing slides and examples from the 2020 OCaml Workshop talk on "Parallelising your OCaml code with Multicore OCaml"
  ☆29Updated 2 years ago
• well-typed-lightbulbs / ocaml-esp32
  Native compiler backend for esp32
  ☆62Updated 4 years ago
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆34Updated 6 years ago
• mirleft / ocaml-asn1-combinators
  Embed typed ASN.1 grammars in OCaml
  ☆36Updated 9 months ago
• janestreet / sexp
  S-expression swiss knife
  ☆47Updated last month
• well-typed-lightbulbs / mirage-esp32
  Mirage OS bindings for ESP32
  ☆28Updated 6 years ago
• hydrolarus / toml-idr
  A TOML parser for Idris 2
  ☆17Updated last year
• ramsdell / ocaml-datalog
  This package contains a lightweight deductive database system in OCaml
  ☆41Updated 3 years ago
• janestreet / async_smtp
  SMTP client and server
  ☆47Updated this week
• deech / ATSPresentation
  ☆21Updated 10 years ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆15Updated 7 years ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• patricoferris / riscv-o-spec
  An OCaml extension for RISC-V
  ☆16Updated 4 years ago
• jobjo / popper
  Property-based testing at ease
  ☆42Updated 4 years ago
• ioanluca / real-world-idris
  Malfunction backend for Idris with a FFI to OCaml
  ☆28Updated 6 years ago
• alf-tool / alf
  Relational Algebra at your fingertips
  ☆62Updated 10 years ago
• terrateamio / ocaml-ts-mode
  Ocaml mode for emacs using treesitter
  ☆16Updated last year
• Ekdohibs / camlboot
  Experiment on how to bootstrap the OCaml compiler
  ☆108Updated 3 years ago
• MLton / mltonlib
  The MLtonLibrary repository
  ☆36Updated 2 years ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆27Updated 6 years ago
• deech / shen-rust
  ☆35Updated 6 years ago
• zinid / delimcc
  Delimited continuations in byte-code and native OCaml
  ☆27Updated 4 years ago
• modular-macros / ocaml-macros
  OCaml with macros
  ☆58Updated 3 months ago
• ianthehenry / ocamlsyntax.com
  How do you do that recursive GADT thing again?
  ☆28Updated last year
• LightAndLight / sized-hkts
  Higher kinded polymorphism in a language with unboxed, statically sized datatypes.
  ☆51Updated 8 months ago
• FStarLang / atom-fstar
  Syntax highlighting for F* in Atom Editor
  ☆11Updated 4 years ago
• ocamllabs / ocaml-memory-model
  ☆29Updated 6 years ago
• mirage / mrmime
  What do you mean?
  ☆45Updated last week
• merle-lang / luml
  Luml is a type-inferred ML-style language that cross-compiles to Lua
  ☆18Updated 6 years ago
• the-lambda-church / dmlenu
  a clone of dmenu written in OCaml.
  ☆47Updated 4 years ago