Alternatives and similar repositories for superhero-network

Users that are interested in superhero-network are comparing it to the libraries listed below

• tlringer / thesis

  View on GitHub
  haha I'm graduating
  ☆14Jul 22, 2021Updated 4 years ago
• savonet / ocaml-posix

  View on GitHub
  Bindings to the various POSIX APIs
  ☆28Jan 10, 2026Updated last month
• trevorsummerssmith / ocaml-libuv

  View on GitHub
  OCaml bindings to libuv -- Cross-platform asychronous I/O
  ☆18Jan 12, 2015Updated 11 years ago
• JoeyEremondi / pl-lt-rules

  View on GitHub
  Rules for writing academic papers and checking them using LTex-ls and LanguageTool
  ☆19Feb 18, 2025Updated 11 months ago
• jashug / FormalizedCompilerAlgorithms

  View on GitHub
  Formalization in Coq of algorithms used in compilers for the Compiler.org project
  ☆15Dec 22, 2018Updated 7 years ago
• alan-j-hu / ocaml-textmate-language

  View on GitHub
  Library for tokenizing code with TextMate grammars
  ☆12Jan 4, 2024Updated 2 years ago
• janestreet / line-up-words

  View on GitHub
  a small cmd line tool to align words in a sequence of lines in a smart way
  ☆13Jan 15, 2026Updated 3 weeks ago
• tlringer / proof-chat-fun

  View on GitHub
  playing with gpt4
  ☆14Mar 17, 2023Updated 2 years ago
• craigfe / generalised-signatures

  View on GitHub
  ☆12Mar 15, 2021Updated 4 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
• apatil / ocaml-vega-lite

  View on GitHub
  Complete, typesafe representation of Vega-Lite in OCaml
  ☆10Nov 13, 2017Updated 8 years ago
• mirage / mmap

  View on GitHub
  File mapping
  ☆13Dec 14, 2023Updated 2 years ago
• OCamlPro / ocplib-endian

  View on GitHub
  Optimised functions to read and write int16/32/64 from strings, bytes and bigarrays, based on primitives added in version 4.01.
  ☆14Jun 27, 2022Updated 3 years ago
• bholt / mortarboard

  View on GitHub
  My scholarly markdown setup
  ☆10Feb 18, 2015Updated 10 years ago
• idris-bayes / melocule

  View on GitHub
  Probabilistic music composition in Idris2
  ☆16Dec 23, 2022Updated 3 years ago
• alan-j-hu / camyll

  View on GitHub
  Static site generator
  ☆12Apr 6, 2025Updated 10 months ago
• calyxir / calyx-riscv

  View on GitHub
  RISCV Core written in Calyx
  ☆17Aug 16, 2024Updated last year
• hpi-swa-lab / sb-tree-sitter

  View on GitHub
  Integration of Sandblocks with Tree-Sitter to load block-based languages from grammars
  ☆14Oct 9, 2025Updated 4 months ago
• ocurrent / overview

  View on GitHub
  A brief overview of the main CI services
  ☆16Aug 1, 2025Updated 6 months ago
• talex5 / spec-vchan

  View on GitHub
  A TLA+ specification for the Xen vchan protocol
  ☆15Jan 7, 2026Updated last month
• inhabitedtype / jsonaf

  View on GitHub
  ☆15Aug 16, 2020Updated 5 years ago
• tlringer / ml-for-proofs

  View on GitHub
  An open bibliography of machine learning for formal proof papers
  ☆32Sep 30, 2023Updated 2 years ago
• sternenseemann / logbook

  View on GitHub
  A tool for keeping a personal log
  ☆16Jan 1, 2025Updated last year
• jmid / wasm-prop-tester

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

  View on GitHub
  A simple BDD library for OCaml
  ☆13May 20, 2025Updated 8 months ago
• Octachron / phantom_algebra

  View on GitHub
  Small tensor library a la GLSL
  ☆17Oct 28, 2022Updated 3 years ago
• hipsleek / Heifer

  View on GitHub
  Verifier for effectful, higher-order programs
  ☆17Feb 6, 2026Updated last week
• elliottt / easy-smt

  View on GitHub
  Easy SMT solver interaction
  ☆34Feb 3, 2026Updated last week
• matthesjh / coq-tal

  View on GitHub
  Formalization of Typed Assembly Language (TAL) in Coq
  ☆18Mar 11, 2024Updated last year
• hablapps / LensAlgebra

  View on GitHub
  Towards Optic-Based Algebraic Theories: the Case of Lenses
  ☆17Nov 26, 2018Updated 7 years ago
• atacama-dev / llama-cpp-ocaml

  View on GitHub
  OCaml ctypes bindings to llama.cpp
  ☆15Jan 23, 2024Updated 2 years ago
• ranjitjhala / sprite-lang

  View on GitHub
  An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.
  ☆150Sep 23, 2025Updated 4 months ago
• Octachron / talaria_bibtex

  View on GitHub
  A bibtex file parser
  ☆21Feb 11, 2024Updated 2 years ago
• ryanslade / nsq-ocaml

  View on GitHub
  OCaml client library for the NSQ messaging platform
  ☆13May 5, 2022Updated 3 years ago
• chrismamo1 / ppx_netblob

  View on GitHub
  OCaml ppx to include binary data from a url as a string
  ☆14May 20, 2017Updated 8 years ago
• appliedfm / vstyle

  View on GitHub
  A style guide for Coq
  ☆18Nov 30, 2021Updated 4 years ago
• arjunguha / ocaml-z3

  View on GitHub
  ☆16Feb 20, 2019Updated 6 years ago
• samoht / ramen

  View on GitHub
  ☆18Jul 31, 2025Updated 6 months ago
• robur-coop / conex

  View on GitHub
  establish trust in community repositories, cryptographically signed by library authors
  ☆37Nov 12, 2025Updated 3 months ago