kupl/AlphaRegexPublic 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

kupl/AlphaRegexPublic

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/kupl/AlphaRegexPublic)

Close

kupl / AlphaRegexPublicView on GitHubMore

• External links
• Readme badge

☆32Dec 24, 2021Updated 4 years ago

Alternatives and similar repositories for AlphaRegexPublic

Users that are interested in AlphaRegexPublic are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• kupl / MicSE

  View on GitHub
  The Michelson Symbolic vErifier
  ☆13Feb 3, 2023Updated 3 years ago
• MojtabaValizadeh / paresy

  View on GitHub
  Artifacts for the PLDI 2023 paper "Search-Based Regular Expression Inference on a GPU"
  ☆16Feb 26, 2025Updated last year
• lorisdanto / automatark

  View on GitHub
  Benchmark problems for different models of automata, transducers, and related logics
  ☆32Oct 6, 2025Updated last year
• sebastian / ocaml-trie

  View on GitHub
  A trie data structure implemented in OCaml
  ☆10Feb 8, 2012Updated 14 years ago
• mirage / mirage-net-xen

  View on GitHub
  Xen Netfront and Netback ethernet device drivers for Mirage
  ☆13Sep 16, 2026Updated last month
• Serverless GPU API endpoints on Runpod - Get Bonus Credits • Ad
  Skip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
• cryptosense / multipart-form-data

  View on GitHub
  multipart/form-data (RFC2388) parser for OCaml
  ☆18Oct 2, 2020Updated 6 years ago
• UnixJunkie / daft

  View on GitHub
  DAFT Allows File Transfers
  ☆24Jan 11, 2023Updated 3 years ago
• cdaringe / freshawair

  View on GitHub
  Host and view your Awair data locally
  ☆27Updated this week
• charliermarsh / OCaml-SAT-Solvers

  View on GitHub
  An OCaml implementation of the DPLL algorithm for solving SAT instances. Uses nothing beyond the OCaml List library.
  ☆20Sep 5, 2014Updated 12 years ago
• kupl / ParaDySE

  View on GitHub
  ☆31Oct 15, 2018Updated 8 years ago
• haesbaert / ocaml-mpsc

  View on GitHub
  Lockless Multiple Producer Single Consumer Queue for ocaml-multicore
  ☆17Mar 20, 2022Updated 4 years ago
• janestreet / topological_sort

  View on GitHub
  Topological sort algorithm
  ☆15Jul 10, 2026Updated 3 months ago
• ocaml / ocamlfind

  View on GitHub
  The OCaml findlib library manager
  ☆47Jul 18, 2026Updated 3 months ago
• madvagabond / ocaml-balancers

  View on GitHub
  A client side load balancing library for ocaml
  ☆18Aug 11, 2018Updated 8 years ago
• 1-Click AI Models by DigitalOcean Gradient • Ad
  Deploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
• wslee / euphony

  View on GitHub
  Euphony: a probabilistic model-guided program synthesizer
  ☆27Nov 21, 2022Updated 3 years ago
• rudenoise / mirage-dashboard

  View on GitHub
  A dashboard displaying useful data from MirageOS project and its related repositories.
  ☆13Sep 7, 2016Updated 10 years ago
• gregtatcam / imaplet-lwt

  View on GitHub
  imaplet revamp with Lwt
  ☆18Aug 9, 2017Updated 9 years ago
• avsm / vagrant-opam

  View on GitHub
  Vagrant + OPAM/OCaml
  ☆15Jan 8, 2016Updated 10 years ago
• Drup / llvmgraph

  View on GitHub
  Ocamlgraph overlay for llvm
  ☆20Apr 4, 2015Updated 11 years ago
• dinosaure / carton

  View on GitHub
  Implementation of the PACK file (Git) in OCaml
  ☆20Jun 25, 2020Updated 6 years ago
• jscert / jsexplain

  View on GitHub
  ☆26Jul 18, 2022Updated 4 years ago
• utopia-group / regel

  View on GitHub
  REGEL: Regular Expression Generation from Examples and Language
  ☆36Jul 11, 2022Updated 4 years ago
• tmattio / dream-cli

  View on GitHub
  Command Line Interface for Dream applications.
  ☆22Apr 9, 2022Updated 4 years ago
• Managed Kubernetes at scale on DigitalOcean • Ad
  DigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
• backtracking / bheap

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

  View on GitHub
  ☆20Jan 16, 2025Updated last year
• ropas / sparrow

  View on GitHub
  The Sparrow Static Analyzer
  ☆126Sep 19, 2021Updated 5 years ago
• nojb / ocaml-bt

  View on GitHub
  OCaml BitTorrent library and client
  ☆42Sep 12, 2022Updated 4 years ago
• janestreet / async_unix

  View on GitHub
  Jane Street Capital's asynchronous execution library (unix)
  ☆35Jul 10, 2026Updated 3 months ago
• LaurentMazare / ocaml-tqdm

  View on GitHub
  An ocaml progress bar library similar to https://tqdm.github.io
  ☆19Dec 13, 2019Updated 6 years ago
• abeaumont / ocaml-chacha

  View on GitHub
  ChaCha20, ChaCha12 and ChaCha8 encryption functions, in OCaml
  ☆10Apr 3, 2022Updated 4 years ago
• cuhk-seclab / Revealer

  View on GitHub
  ☆11May 18, 2021Updated 5 years ago
• bikallem / http-multipart-formdata

  View on GitHub
  Enables HTTP file uploads and form processing in OCaml web applications.
  ☆13Jun 19, 2024Updated 2 years ago
• GPU virtual machines on DigitalOcean Gradient AI • Ad
  Get to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
• vbmithr / ocaml-smtp

  View on GitHub
  SMTP client lib for OCaml
  ☆19Sep 5, 2016Updated 10 years ago
• rickiepark / math4ds

  View on GitHub
  <개발자를 위한 필수 수학>(한빛미디어, 2024)의 코드 저장소
  ☆19Sep 6, 2026Updated last month
• dbuenzli / trel

  View on GitHub
  Relational programming for OCaml (unreleased)
  ☆24Jun 6, 2022Updated 4 years ago
• janestreet / ppx_compare

  View on GitHub
  Generation of comparison functions from types
  ☆29Jul 10, 2026Updated 3 months ago
• ShamoX / cash

  View on GitHub
  Cash is a Unix shell that is embedded within Objective Caml. It's a Caml implementation of (an as large as possible subset of) the API of…
  ☆11Sep 7, 2013Updated 13 years ago
• paurkedal / batyr

  View on GitHub
  A jabber logger and web interface
  ☆12Apr 17, 2026Updated 6 months ago
• protz / ocaml-adafruit-lcd

  View on GitHub
  An OCaml controller for the Adafruit Rapsberry Pi LCD
  ☆12Jan 6, 2014Updated 12 years ago