The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
☆125Feb 16, 2023Updated 3 years ago
Alternatives and similar repositories for smoosh
Users that are interested in smoosh are comparing it to the libraries listed below
Sorting:
- ☆21Mar 6, 2019Updated 7 years ago
- Dissect OCaml compiled programs, and weight their content☆25Nov 2, 2022Updated 3 years ago
- (unreleased) Data validation with first-class and first-order labels in OCaml☆30Jun 29, 2018Updated 7 years ago
- experiments with Brr/Note☆13Aug 27, 2021Updated 4 years ago
- ☆49Mar 29, 2021Updated 4 years ago
- Lem semantic definition language☆151Mar 13, 2025Updated 11 months ago
- Literate assertions for OCaml☆18Oct 3, 2019Updated 6 years ago
- Emitter for catapult trace viewer, i.e. chrome://tracing☆16Oct 8, 2018Updated 7 years ago
- Caribou leverages Notty to generate simple terminal user interfaces.☆17Oct 14, 2023Updated 2 years ago
- remove accents from utf8 strings☆17Jan 17, 2026Updated last month
- Revamp ocaml-manual☆11Oct 18, 2020Updated 5 years ago
- The Ensemble distributed communications toolkit☆13Jul 26, 2020Updated 5 years ago
- a ppx_deriving plugin for crowbar generators☆20Jul 1, 2019Updated 6 years ago
- A not-quite-so-simple Binary Decision Diagrams implementation for OCaml☆37Jan 30, 2022Updated 4 years ago
- Peter Shirley's "Ray Tracing In One Weekend" written in ReasonML.☆17Mar 11, 2019Updated 6 years ago
- An implementation of some 0MQ RFCs in OCaml for MirageOS☆11May 20, 2019Updated 6 years ago
- Js_of_ocaml bindings for the p5.js library☆11May 14, 2024Updated last year
- Simplified interface to using Unix commands with OCaml☆12Apr 10, 2025Updated 10 months ago
- an arithmetic library for OCaml’s native integers☆11Jun 30, 2024Updated last year
- An OCaml implementation of Rx Observables☆33Feb 20, 2019Updated 7 years ago
- print nested boxes, lists, arrays, tables in several formats☆80May 14, 2025Updated 9 months ago
- Compiler for Tiger language from "Modern Compiler Implementation in ML"☆16Aug 1, 2024Updated last year
- experiments on distributed unikernels☆16Dec 15, 2024Updated last year
- Format string experimentations☆13Jul 19, 2021Updated 4 years ago
- ☆16Jun 25, 2019Updated 6 years ago
- Plan 9 programs ported to OCaml☆36Feb 22, 2026Updated last week
- bindings to gnuplot (fork of https://bitbucket.org/ogu/gnuplot-ocaml/)☆13May 6, 2024Updated last year
- An OCaml modular and generalised parser combinator library.☆22Aug 15, 2021Updated 4 years ago
- A library of splittable pseudo-random number generators for OCaml☆35Jan 17, 2025Updated last year
- A toolset for describing and simulating StateChart-like state diagrams.☆27Dec 30, 2025Updated 2 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
- ☆14Aug 7, 2021Updated 4 years ago
- A key-value store for OCaml☆17Feb 1, 2022Updated 4 years ago
- MPP: a meta preprocessor that blends programming languages☆32Jun 8, 2023Updated 2 years ago
- Alternative String module for OCaml☆31Aug 8, 2020Updated 5 years ago
- ImpFS, a new filesystem.☆21Feb 6, 2022Updated 4 years ago
- HTTP/1.1 client library for OCaml☆15Apr 28, 2020Updated 5 years ago
- A quirky object oriented standard library for ocaml☆17Apr 11, 2021Updated 4 years ago
- Mirage OS bindings for ESP32☆28Oct 3, 2019Updated 6 years ago