Drup/pumping 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

Drup/pumping

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/Drup/pumping)

Close

Drup / pumpingView on GitHubMore

• External links
• Readme badge

Regular languages in types

☆21Jul 24, 2017Updated 8 years ago

Alternatives and similar repositories for pumping

Users that are interested in pumping are comparing it to the libraries listed below

• mcclure / ppx_const

  View on GitHub
  A PPX syntax extension for the OCaml programming language. Adds a compile-time "if" statement.
  ☆21Nov 20, 2020Updated 5 years ago
• Drup / functoria-lua

  View on GitHub
  Building Lua interpreters with lot's of functors
  ☆13Jul 31, 2018Updated 7 years ago
• choeger / ppx_deriving_morphism

  View on GitHub
  Deriving morphisms for OCaml data structures
  ☆10Aug 28, 2019Updated 6 years ago
• janestreet / ppx_type_directed_value

  View on GitHub
  Get [@@deriving]-style generation of type-directed values without writing a ppx
  ☆17Feb 15, 2022Updated 4 years ago
• hannesm / telnet

  View on GitHub
  telnet protocol in OCaml
  ☆14Nov 15, 2016Updated 9 years ago
• yomimono / ppx_deriving_crowbar

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

  View on GitHub
  a MirageOS OAuth2 authorization server for Etsy authentication
  ☆18Jul 15, 2022Updated 3 years ago
• dbuenzli / sexpm

  View on GitHub
  s-expression codecs and updates for OCaml
  ☆11Mar 23, 2017Updated 8 years ago
• hennequin-lab / gp

  View on GitHub
  Simple OCaml interface for Gnuplot
  ☆11Oct 6, 2021Updated 4 years ago
• ocaml-multicore / ocaml-iocp

  View on GitHub
  OCaml bindings to Windows' IOCP API
  ☆17Apr 19, 2023Updated 2 years ago
• janestreet / toplevel_expect_test

  View on GitHub
  Toplevel expectation test
  ☆19Jan 15, 2026Updated last month
• regex-generate / regenerate

  View on GitHub
  Tool to generate test-cases for regular expression engines
  ☆38Apr 26, 2023Updated 2 years ago
• backtracking / bheap

  View on GitHub
  OCaml binary heap implementation by Jean-Christophe Filliatre
  ☆18Nov 29, 2020Updated 5 years ago
• NathanReb / ppx_yojson

  View on GitHub
  OCaml PPX extension for JSON literals and patterns
  ☆45Mar 11, 2024Updated last year
• thizanne / ocaml-hamt

  View on GitHub
  Implementation of the Hash Array Mapped Trie data structure in OCaml
  ☆13Jan 9, 2022Updated 4 years ago
• dinosaure / sirodepac

  View on GitHub
  Pack file encoder/decoder in OCaml
  ☆12Jun 2, 2017Updated 8 years ago
• c-cube / ocaml-bigstring

  View on GitHub
  Overlay over bigarrays of chars
  ☆13Oct 23, 2020Updated 5 years ago
• Chris00 / ocaml-dropbox

  View on GitHub
  Binding to the Dropbox Remote API
  ☆12Jun 13, 2020Updated 5 years ago
• backtracking / creal

  View on GitHub
  An exact real arithmetic (aka constructive reals) for OCaml
  ☆13Jun 14, 2024Updated last year
• elastic / apm-agent-ocaml

  View on GitHub
  Elastic OCaml APM provides an OCaml library for uploading traces, transactions and errors to Elastic APM.
  ☆14Aug 8, 2024Updated last year
• Armael / ocaml-wlc

  View on GitHub
  Experimental OCaml bindings for Wlc
  ☆16Apr 6, 2015Updated 10 years ago
• LexiFi / lrt

  View on GitHub
  LexiFi runtime types
  ☆35Nov 2, 2020Updated 5 years ago
• ocaml-community / ocaml-mariadb

  View on GitHub
  OCaml bindings to MariaDB, supporting the nonblocking API
  ☆57Jan 19, 2026Updated last month
• OCamlPro / ocplib-resto

  View on GitHub
  A minimal OCaml library for type-safe HTTP/JSON RPCs
  ☆18Sep 11, 2019Updated 6 years ago
• OCamlPro / ocplib-json-typed

  View on GitHub
  Libraries for reliable manipulation JSON objects.
  ☆23May 6, 2022Updated 3 years ago
• kiranandcode / gopcaml-mode

  View on GitHub
  [MIRROR] Ultimate Ocaml Editing Mode
  ☆22Jul 12, 2022Updated 3 years ago
• stedolan / linkage

  View on GitHub
  easy-to-use wrapper for OCaml's Dynlink
  ☆16Jan 9, 2017Updated 9 years ago
• anmonteiro / eio-ssl

  View on GitHub
  OpenSSL bindings to OCaml EIO
  ☆20Jun 25, 2024Updated last year
• verbosemode / syslog-message

  View on GitHub
  OCaml parser for RFC 3164 Syslog messages
  ☆24Jun 3, 2023Updated 2 years ago
• cryptosense / pkcs11

  View on GitHub
  OCaml bindings for the PKCS#11 cryptographic API
  ☆23Feb 11, 2023Updated 3 years ago
• vbrankov / hdf5-ocaml

  View on GitHub
  OCaml wrapper for HDF5
  ☆29Sep 25, 2023Updated 2 years ago
• paurkedal / batyr

  View on GitHub
  A jabber logger and web interface
  ☆12Jan 5, 2026Updated last month
• TheLortex / ocaml-maelstrom

  View on GitHub
  Client library for Maelstrom and solutions to the Fly.io distributed systems challenges - gossip glomers
  ☆14Feb 26, 2023Updated 3 years ago
• dbuenzli / serialkit

  View on GitHub
  Serialization formats toolkit for OCaml (unreleased)
  ☆13Jan 2, 2026Updated last month
• c-cube / thread-local-storage

  View on GitHub
  thread-local storage for OCaml
  ☆17Jan 13, 2025Updated last year
• mrvn / ocaml-qt5

  View on GitHub
  bindings for QT5 widgets
  ☆10Mar 25, 2016Updated 9 years ago
• xavierleroy / camlidl

  View on GitHub
  Stub code generator for OCaml/C interface
  ☆36Aug 1, 2025Updated 7 months ago
• yallop / ocaml-charset

  View on GitHub
  Fast char sets
  ☆20May 5, 2025Updated 9 months ago
• mirage / ca-certs

  View on GitHub
  Detect root CA certificates from the operating system
  ☆14Nov 24, 2025Updated 3 months ago