Alternatives and similar repositories for hello-world

Users that are interested in hello-world are comparing it to the libraries listed below

• coq-io / system

  View on GitHub
  Library of Unix effects for Coq.
  ☆23Sep 28, 2019Updated 6 years ago
• coq-io / io

  View on GitHub
  A library for effects in Coq.
  ☆65May 28, 2022Updated 3 years ago
• FFaissole / Valuations

  View on GitHub
  Synthetic Topology in Homotopy Type Theory for probabilstic programming
  ☆12Feb 2, 2018Updated 8 years ago
• LPCIC / matita

  View on GitHub
  Matita (proof assistant) with embedded elpi
  ☆15Jan 30, 2018Updated 8 years ago
• craigfe / generalised-signatures

  View on GitHub
  ☆12Mar 15, 2021Updated 4 years ago
• alan-j-hu / ocaml-textmate-language

  View on GitHub
  Library for tokenizing code with TextMate grammars
  ☆12Jan 4, 2024Updated 2 years ago
• c-cube / quip

  View on GitHub
  [wip] Proof format and checker for first-order and higher-order theorem provers
  ☆12Mar 29, 2023Updated 2 years ago
• voodoos / mlts

  View on GitHub
  ☆11Dec 9, 2022Updated 3 years ago
• dannywillems / dsubml

  View on GitHub
  OCaml implementation of DSub, a ML like language with subtyping and path dependent types.
  ☆13Apr 18, 2017Updated 8 years ago
• alan-j-hu / camyll

  View on GitHub
  Static site generator
  ☆12Apr 6, 2025Updated 10 months ago
• bvaugon / ocamlclean

  View on GitHub
  OCaml Bytecode Cleaner
  ☆14Apr 19, 2022Updated 3 years ago
• kit-ty-kate / ocaml-activitypub

  View on GitHub
  A dedicated ActivityPub/ActivityStreams parser and generator for OCaml
  ☆13Apr 6, 2019Updated 6 years ago
• janestreet / topological_sort

  View on GitHub
  Topological sort algorithm
  ☆14Jan 15, 2026Updated 3 weeks ago
• PLTools / GT

  View on GitHub
  Datatype-generic object-oriented transformations for OCaml
  ☆17Nov 16, 2025Updated 2 months ago
• backtracking / ocaml-bdd

  View on GitHub
  A simple BDD library for OCaml
  ☆13May 20, 2025Updated 8 months ago
• jmid / wasm-prop-tester

  View on GitHub
  A stack-driven generator of arbitrary WebAssembly programs
  ☆19Sep 5, 2021Updated 4 years ago
• Octachron / phantom_algebra

  View on GitHub
  Small tensor library a la GLSL
  ☆17Oct 28, 2022Updated 3 years ago
• vouillon / ocaml-android

  View on GitHub
  Ocaml cross-compiler for Android
  ☆45Oct 10, 2014Updated 11 years ago
• RedPRL / bantorra

  View on GitHub
  📚 A library for managing libraries and resolving unit paths
  ☆17Nov 21, 2025Updated 2 months ago
• ulrikstrid / dream-routes

  View on GitHub
  Define your Dream router with Routes
  ☆19Jul 2, 2025Updated 7 months ago
• janestreet / ppx_csv_conv

  View on GitHub
  Generate functions to read/write records in csv format
  ☆19Jan 15, 2026Updated 3 weeks ago
• CoqHott / exceptional-tt

  View on GitHub
  A Coq plugin that implements exceptions in Coq
  ☆13Jan 7, 2021Updated 5 years ago
• rocq-community / bits

  View on GitHub
  A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…
  ☆24Sep 7, 2025Updated 5 months ago
• joscoh / why3-semantics

  View on GitHub
  Formal Semantics for Why3
  ☆19Sep 28, 2025Updated 4 months ago
• rocq-community / corn

  View on GitHub
  Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
  ☆115Jan 9, 2026Updated last month
• jscert / jsexplain

  View on GitHub
  ☆26Jul 18, 2022Updated 3 years ago
• lpw25 / shifted-names

  View on GitHub
  Coq library for handling names
  ☆19Aug 5, 2022Updated 3 years ago
• fplaunchpad / verified_ocaml_gc

  View on GitHub
  For Jar artifacts
  ☆20Nov 8, 2025Updated 3 months ago
• avsm / mirage-ci

  View on GitHub
  Continuous Integration for MirageOS using DataKit's git workflow
  ☆20Oct 19, 2020Updated 5 years ago
• yallop / ocaml-charset

  View on GitHub
  Fast char sets
  ☆20May 5, 2025Updated 9 months ago
• umazalakain / session-types-coq

  View on GitHub
  Formalising session types in Coq
  ☆17Sep 6, 2019Updated 6 years ago
• tarides / cactus

  View on GitHub
  A Btree library in OCaml
  ☆18Mar 30, 2023Updated 2 years ago
• gmalecha / coq-printf

  View on GitHub
  Implementation of sprintf for Coq
  ☆18Apr 6, 2020Updated 5 years ago
• ocaml-dune / fiber

  View on GitHub
  ☆22Apr 12, 2024Updated last year
• RedPRL / kado

  View on GitHub
  🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory
  ☆21Nov 20, 2025Updated 2 months ago
• melange-community / melange-webapi

  View on GitHub
  Melange bindings to the DOM and other Web APIs
  ☆21Dec 14, 2025Updated 2 months ago
• jonsterling / tt

  View on GitHub
  secret project
  ☆17Mar 14, 2018Updated 7 years ago
• TyOverby / bonsai_example

  View on GitHub
  ☆19Sep 18, 2021Updated 4 years ago
• rocq-community / coq-plugin-template

  View on GitHub
  Template project for Coq plugins using the Dune build system, showcasing some advanced features [maintainer=@ejgallego]
  ☆22Jul 13, 2023Updated 2 years ago