mgree/smoosh external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

mgree/smoosh

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/mgree/smoosh)

Close

mgree / smooshView on GitHubMore

• External links
• Readme badge

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

• nojb / ocaml-obj-printer

  View on GitHub
  ☆21Mar 6, 2019Updated 7 years ago
• Drup / modulectomy

  View on GitHub
  Dissect OCaml compiled programs, and weight their content
  ☆25Nov 2, 2022Updated 3 years ago
• phink / changeset

  View on GitHub
  (unreleased) Data validation with first-class and first-order labels in OCaml
  ☆30Jun 29, 2018Updated 7 years ago
• barko / brr-eg

  View on GitHub
  experiments with Brr/Note
  ☆13Aug 27, 2021Updated 4 years ago
• vocal-project / vocal

  View on GitHub
  ☆49Mar 29, 2021Updated 4 years ago
• rems-project / lem

  View on GitHub
  Lem semantic definition language
  ☆151Mar 13, 2025Updated 11 months ago
• mlin / should.ml

  View on GitHub
  Literate assertions for OCaml
  ☆18Oct 3, 2019Updated 6 years ago
• emillon / ocaml-catapult

  View on GitHub
  Emitter for catapult trace viewer, i.e. chrome://tracing
  ☆16Oct 8, 2018Updated 7 years ago
• charlesetc / caribou

  View on GitHub
  Caribou leverages Notty to generate simple terminal user interfaces.
  ☆17Oct 14, 2023Updated 2 years ago
• sanette / ubase

  View on GitHub
  remove accents from utf8 strings
  ☆17Jan 17, 2026Updated last month
• sanette / ocaml-tutorial

  View on GitHub
  Revamp ocaml-manual
  ☆11Oct 18, 2020Updated 5 years ago
• chetmurthy / ensemble

  View on GitHub
  The Ensemble distributed communications toolkit
  ☆13Jul 26, 2020Updated 5 years ago
• yomimono / ppx_deriving_crowbar

  View on GitHub
  a ppx_deriving plugin for crowbar generators
  ☆20Jul 1, 2019Updated 6 years ago
• arlencox / mlbdd

  View on GitHub
  A not-quite-so-simple Binary Decision Diagrams implementation for OCaml
  ☆37Jan 30, 2022Updated 4 years ago
• christat / reasonably-traced

  View on GitHub
  Peter Shirley's "Ray Tracing In One Weekend" written in ReasonML.
  ☆17Mar 11, 2019Updated 6 years ago
• huiyaozheng / Mirage-zmq

  View on GitHub
  An implementation of some 0MQ RFCs in OCaml for MirageOS
  ☆11May 20, 2019Updated 6 years ago
• patricoferris / jsoo-p5

  View on GitHub
  Js_of_ocaml bindings for the p5.js library
  ☆11May 14, 2024Updated last year
• ninjaaron / ocaml-subprocess

  View on GitHub
  Simplified interface to using Unix commands with OCaml
  ☆12Apr 10, 2025Updated 10 months ago
• gmevel / euler-lib

  View on GitHub
  an arithmetic library for OCaml’s native integers
  ☆11Jun 30, 2024Updated last year
• astrada / rxocaml

  View on GitHub
  An OCaml implementation of Rx Observables
  ☆33Feb 20, 2019Updated 7 years ago
• c-cube / printbox

  View on GitHub
  print nested boxes, lists, arrays, tables in several formats
  ☆80May 14, 2025Updated 9 months ago
• tmcgilchrist / tiger

  View on GitHub
  Compiler for Tiger language from "Modern Compiler Implementation in ML"
  ☆16Aug 1, 2024Updated last year
• sidsabh / MirageRaft

  View on GitHub
  experiments on distributed unikernels
  ☆16Dec 15, 2024Updated last year
• Octachron / ffmt

  View on GitHub
  Format string experimentations
  ☆13Jul 19, 2021Updated 4 years ago
• well-typed-lightbulbs / ocaml-baremetal-esp32

  View on GitHub
  ☆16Jun 25, 2019Updated 6 years ago
• aryx / xix

  View on GitHub
  Plan 9 programs ported to OCaml
  ☆36Feb 22, 2026Updated last week
• c-cube / ocaml-gnuplot

  View on GitHub
  bindings to gnuplot (fork of https://bitbucket.org/ogu/gnuplot-ocaml/)
  ☆13May 6, 2024Updated last year
• d-plaindoux / transept

  View on GitHub
  An OCaml modular and generalised parser combinator library.
  ☆22Aug 15, 2021Updated 4 years ago
• xavierleroy / pringo

  View on GitHub
  A library of splittable pseudo-random number generators for OCaml
  ☆35Jan 17, 2025Updated last year
• jserot / rfsm

  View on GitHub
  A toolset for describing and simulating StateChart-like state diagrams.
  ☆27Dec 30, 2025Updated 2 months ago
• oxidizing / conformist

  View on GitHub
  Schema definition and validation with support for decoding to bridge the gap between runtime types and static types.
  ☆35Apr 6, 2022Updated 3 years ago
• ulrikstrid / logs-ppx

  View on GitHub
  ☆14Aug 7, 2021Updated 4 years ago
• tomjridge / tjr_kv

  View on GitHub
  A key-value store for OCaml
  ☆17Feb 1, 2022Updated 4 years ago
• ocaml / MPP-language-blender

  View on GitHub
  MPP: a meta preprocessor that blends programming languages
  ☆32Jun 8, 2023Updated 2 years ago
• dbuenzli / astring

  View on GitHub
  Alternative String module for OCaml
  ☆31Aug 8, 2020Updated 5 years ago
• tomjridge / imp_fs

  View on GitHub
  ImpFS, a new filesystem.
  ☆21Feb 6, 2022Updated 4 years ago
• roddyyaga / quests

  View on GitHub
  HTTP/1.1 client library for OCaml
  ☆15Apr 28, 2020Updated 5 years ago
• charlesetc / Orb

  View on GitHub
  A quirky object oriented standard library for ocaml
  ☆17Apr 11, 2021Updated 4 years ago
• well-typed-lightbulbs / mirage-esp32

  View on GitHub
  Mirage OS bindings for ESP32
  ☆28Oct 3, 2019Updated 6 years ago