sadiqj / ocaml-esp32
☆18Updated 4 years ago
Alternatives and similar repositories for ocaml-esp32:
Users that are interested in ocaml-esp32 are comparing it to the libraries listed below
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated 8 months ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆34Updated 6 years ago
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆30Updated 6 years ago
- Delimited continuations in byte-code and native OCaml☆27Updated 4 years ago
- Mirage OS bindings for ESP32☆28Updated 5 years ago
- ☆35Updated 5 years ago
- A clean implementation of Parsing with Zippers.☆37Updated 6 years ago
- 1ML prototype interpreter☆19Updated 4 years ago
- A practical LLVM backend for OCaml (will never be finished)☆34Updated 10 years ago
- A ppx rewriter that generates hash functions from type expressions and definitions☆15Updated 3 months ago
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 5 years ago
- ☆17Updated 5 years ago
- Repository containing slides and examples from the 2020 OCaml Workshop talk on "Parallelising your OCaml code with Multicore OCaml"☆29Updated last year
- ☆23Updated 7 years ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- Property-based testing at ease☆42Updated 3 years ago
- Implementation of maps of integers with Patricia trees☆22Updated 4 years ago
- Embed typed ASN.1 grammars in OCaml☆36Updated 2 months ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- This package contains a lightweight deductive database system in OCaml☆40Updated 3 years ago
- OCaml with macros☆56Updated last month
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 3 months ago
- A Dependently Typed Programming Language☆27Updated 4 years ago
- multi-shot continuations in OCaml☆48Updated last week
- Constant time equal function to avoid timing attacks in OCaml☆51Updated 7 months ago
- A simple parser combinator library for Ocaml☆29Updated 3 years ago
- What do you mean?☆43Updated this week
- ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.☆37Updated 2 years ago
- Calendar server (CalDAV, RFC 4791) implementation in OCaml☆60Updated 2 months ago