☆19Nov 12, 2020Updated 5 years ago
Alternatives and similar repositories for ocaml-esp32
Users that are interested in ocaml-esp32 are comparing it to the libraries listed below
Sorting:
- A Commitment Scheme library for Coin Flipping/Tossing algorithms and sort.☆11Apr 12, 2023Updated 2 years ago
- A simple but effective pure GNU Prolog client connecting with Redis, no libraries required.☆16Nov 1, 2016Updated 9 years ago
- Exampwe of ewwonyenyonyuns code:☆15Sep 25, 2019Updated 6 years ago
- OCaml for PIC microcontrollers☆35Apr 19, 2022Updated 3 years ago
- Aligned allocation for Rust☆15Oct 27, 2020Updated 5 years ago
- Minimal SML-based web server☆14Jun 19, 2015Updated 10 years ago
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Jun 6, 2020Updated 5 years ago
- A simple error library for no_std + no_alloc Rust☆18Apr 7, 2020Updated 5 years ago
- Universal Scala.js executable☆22Aug 21, 2022Updated 3 years ago
- An OCaml generic virtual machine for microcontrollers☆154Oct 16, 2025Updated 4 months ago
- Advanced SmartOS Node Management Daemon☆15Apr 2, 2017Updated 8 years ago
- An implementation of the Noise Protocol, intended to be used as the base for a Wireguard implementation in OCaml.☆28Feb 11, 2020Updated 6 years ago
- Repository containing slides and examples from the 2020 OCaml Workshop talk on "Parallelising your OCaml code with Multicore OCaml"☆29Sep 3, 2023Updated 2 years ago
- Feedback-directed optimizer for OCaml☆35May 18, 2021Updated 4 years ago
- Native compiler backend for esp32☆65Feb 16, 2021Updated 5 years ago
- OCaml/async implementation of the postgres protocol (i.e., does not use C-bindings to libpq)☆27Jan 15, 2026Updated last month
- A bucklescript-tea starter kit.☆26Jul 2, 2021Updated 4 years ago
- Mitochondria is the powerhouse of the `Cell`☆30Nov 20, 2016Updated 9 years ago
- Cache & In-Memory optimizations for Rust, revived from the slabs of Sumer.☆30Feb 22, 2020Updated 6 years ago
- Experimental benchmarking infrastructure using OCurrent pipelines☆33Feb 28, 2025Updated last year
- HTSQL is a comprehensive navigational query language for relational databases. HTSQL is designed for data analysts and other accidental p…☆28Aug 11, 2020Updated 5 years ago
- Xoodyak, a lightweight and versatile cryptographic scheme implemented in Rust.☆30Apr 24, 2025Updated 10 months ago
- C port of the Rust symbol demangler (rustc-demangle)☆45Oct 6, 2023Updated 2 years ago
- Arduino sketch to control Autotrickler Hardware for powder trickling☆11Jul 15, 2023Updated 2 years ago
- Run Rust tests in isolated subprocesses☆42Oct 4, 2025Updated 5 months ago
- Type definitions and low level interface implementations for the W3C DOM spec☆35Oct 29, 2023Updated 2 years ago
- A port of MiniKanren to F# - embedded, typed logic programming☆30Jan 28, 2018Updated 8 years ago
- The compiler for subset of scheme developed as part of P523☆30Mar 6, 2017Updated 8 years ago
- A utility to split autogenerated rust files into human-workable projects with the correct _form_☆37May 7, 2025Updated 9 months ago
- MBR Partition Management in Rust☆45Jul 7, 2025Updated 7 months ago
- We have Crater At Home☆38Oct 26, 2024Updated last year
- The first C compiler written in Rust.. mostly unworking.☆42Apr 7, 2020Updated 5 years ago
- Faithful reimplementation of Minisat 2.2 in OCaml.☆39Mar 26, 2023Updated 2 years ago
- A simple helper to transform Markdown links to intra-doc links in Rust projects when appropriate.☆37Dec 2, 2020Updated 5 years ago
- A simple OCaml client for Google Services.☆96Jan 3, 2026Updated 2 months ago
- Pure OCaml implementation of the "vchan" shared-memory communication protocol☆45Mar 6, 2025Updated 11 months ago
- Experimental Nix implementation of Android `soong` modules☆10Oct 11, 2023Updated 2 years ago
- Code of Round5☆11May 4, 2020Updated 5 years ago
- Rust NonEmpty slice☆13Jul 5, 2021Updated 4 years ago