☆41May 19, 2022Updated 3 years ago
Alternatives and similar repositories for hardcaml-mips
Users that are interested in hardcaml-mips are comparing it to the libraries listed below
Sorting:
- OCaml asynchronous scheduler and monad for server-oriented programming.☆16Apr 8, 2025Updated 10 months ago
- ImpFS, a new filesystem.☆21Feb 6, 2022Updated 4 years ago
- Hardcaml Verification Tools☆15Jan 15, 2026Updated last month
- An OCaml library for creating pandoc filters.☆32Oct 9, 2024Updated last year
- A hardcaml library to interface with arty boards☆19Feb 8, 2023Updated 3 years ago
- bindings to gnuplot (fork of https://bitbucket.org/ogu/gnuplot-ocaml/)☆13May 6, 2024Updated last year
- Algorithms and datastructures for phylogenetics☆14Dec 24, 2025Updated 2 months ago
- Algebraic structures in OCaml.☆25Nov 21, 2025Updated 3 months ago
- A toolset for describing and simulating StateChart-like state diagrams.☆27Dec 30, 2025Updated 2 months ago
- LablGL: an openGL interface for OCaml☆25Dec 24, 2023Updated 2 years ago
- Hardcaml Circuits☆22Jan 15, 2026Updated last month
- OCaml Programming Patterns - random tricks, "design patterns", etc.☆52Jul 21, 2025Updated 7 months ago
- Benchmarking environment for http servers☆22Jan 9, 2026Updated last month
- An exact real arithmetic (aka constructive reals) for OCaml☆13Jun 14, 2024Updated last year
- ☆19Feb 5, 2023Updated 3 years ago
- Co-operative allocation of domains for OCaml☆15Jan 26, 2023Updated 3 years ago
- Synonym of angkor☆25Mar 4, 2025Updated last year
- HTTP/1.1 server and client for ocaml (using Async)☆23Apr 26, 2025Updated 10 months ago
- Essentials of Programming Languages, with OCaml implementations & Coq proofs☆32Jan 13, 2017Updated 9 years ago
- OCaml syntax extension for synchronous programming...☆32Aug 17, 2023Updated 2 years ago
- Convert Verilog to a Hardcaml design☆19Jan 15, 2026Updated last month
- An OCaml library for describing and simulating synchronous finite state machines")☆33Mar 30, 2021Updated 4 years ago
- ☆21Mar 6, 2019Updated 7 years ago
- a MirageOS OAuth2 authorization server for Etsy authentication☆18Jul 15, 2022Updated 3 years ago
- Library for tokenizing code with TextMate grammars☆14Updated this week
- The Ensemble distributed communications toolkit☆13Jul 26, 2020Updated 5 years ago
- Final Year Project - A probabilisitic programming language in OCaml☆14May 10, 2020Updated 5 years ago
- DKIM support on e-mail☆11Updated this week
- DEPRECATED: Compile Time Reflection or Metaprogramming for OCaml☆16Apr 21, 2024Updated last year
- Revamp ocaml-manual☆11Oct 18, 2020Updated 5 years ago
- A library that implements the websocket protocol on top of Async☆14Jan 15, 2026Updated last month
- Js_of_ocaml bindings for MithrilJS☆19Jan 23, 2021Updated 5 years ago
- Compiler for Tiger language from "Modern Compiler Implementation in ML"☆16Aug 1, 2024Updated last year
- OCaml bindings for RocksDB☆22Oct 26, 2023Updated 2 years ago
- Hilite - a simple code to HTML syntax highlighter☆22Aug 18, 2025Updated 6 months ago
- Schema definition and validation with support for decoding to bridge the gap between runtime types and static types.☆35Apr 6, 2022Updated 3 years ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Jan 1, 2024Updated 2 years ago
- Unicode text normalization for OCaml☆25Feb 13, 2026Updated 3 weeks ago
- Llama2 inference in one file of pure OCaml.☆27Sep 16, 2023Updated 2 years ago