rbardou/red 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

rbardou/red

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/rbardou/red)

Close

rbardou / redView on GitHubMore

• External links
• Readme badge

A command-line text editor in OCaml.

☆13Apr 26, 2025Updated 10 months ago

Alternatives and similar repositories for red

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

• schell / editor

  View on GitHub
  An experimental text editor using freetype2 and OpenGL. Written in Haskell.
  ☆12Jan 23, 2014Updated 12 years ago
• ocaml / dbm

  View on GitHub
  The legacy CamlDBM library for accessing NDBM/GDBM database files
  ☆12Jul 11, 2024Updated last year
• dbuenzli / qoic

  View on GitHub
  QOI image codec for OCaml (unreleased)
  ☆11Jan 2, 2026Updated 2 months ago
• c-cube / olinq

  View on GitHub
  LINQ-like combinators for manipulating collections of in-memory data
  ☆16Sep 21, 2020Updated 5 years 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
• jrk / symalg

  View on GitHub
  (Extremely) simple standalone symbolic algebra library in OCaml. (Mirrored from original site.)
  ☆12Oct 6, 2011Updated 14 years ago
• draftbit / re-jest

  View on GitHub
  Easier bindings to Jest for ReasonML
  ☆12Oct 17, 2024Updated last year
• AgoraDesktop / AgoraInstaller

  View on GitHub
  A package which will install all the Agora Desktop components.
  ☆10Sep 19, 2023Updated 2 years ago
• janestreet / topological_sort

  View on GitHub
  Topological sort algorithm
  ☆15Jan 15, 2026Updated 2 months ago
• MetaRocq / rocq-verified-extraction

  View on GitHub
  Verified Extraction from Rocq to OCaml/Malfunction
  ☆14Mar 12, 2026Updated last week
• dbuenzli / stdlib-utf

  View on GitHub
  Add UTF decoding support to the OCaml Stdlib
  ☆16Sep 4, 2022Updated 3 years ago
• janestreet / splay_tree

  View on GitHub
  A splay tree implementation.
  ☆14Jan 15, 2026Updated 2 months ago
• JetBrains / ot-coq

  View on GitHub
  ot-coq
  ☆17Sep 5, 2023Updated 2 years ago
• koka-lang / AddressC

  View on GitHub
  ☆14May 28, 2025Updated 9 months ago
• Sudha247 / ocaml-joy

  View on GitHub
  ☆23Mar 14, 2024Updated 2 years ago
• AU-COBRA / PoS-NSB

  View on GitHub
  A formalization of a Proof-of-Stake Nakamoto-style blockchain in Coq
  ☆25Jan 21, 2021Updated 5 years ago
• robur-coop / traceroute

  View on GitHub
  MirageOS traceroute unikernel
  ☆17Dec 4, 2025Updated 3 months ago
• patricoferris / ocaml-stun

  View on GitHub
  Pure & Incomplete STUN protocol in OCaml
  ☆14Dec 8, 2022Updated 3 years ago
• iwillspeak / Firethorn

  View on GitHub
  Implementation of Red / Green syntax trees. Inspired by Rowan
  ☆17Jun 23, 2024Updated last year
• tchajed / coq-ltac2-experiments

  View on GitHub
  All the code I've ever written in Ltac2
  ☆11Jan 19, 2021Updated 5 years ago
• smimram / catt

  View on GitHub
  An infinity-categorical coherence typechecker
  ☆18Nov 4, 2024Updated last year
• appliedfm / vstyle-tools

  View on GitHub
  A formatter/linter for Coq source
  ☆14Jan 15, 2022Updated 4 years ago
• uwplse / CoqAST

  View on GitHub
  Fun plugin to play with the Gallina AST.
  ☆39Oct 3, 2019Updated 6 years ago
• craigfe / ppx_effects

  View on GitHub
  ☆42Apr 25, 2023Updated 2 years ago
• strub / elliptic-curves-ssr

  View on GitHub
  A Formal Library about Elliptic Curves for the Mathematical Components Library.
  ☆15Nov 10, 2021Updated 4 years ago
• AU-COBRA / coq-rust-extraction

  View on GitHub
  Coq plugin for extracting Rust code
  ☆19Mar 2, 2026Updated 3 weeks ago
• rocq-community / buchberger

  View on GitHub
  Verified implementation in Coq of Buchberger's algorithm for computing Gröbner bases [maintainer=@palmskog]
  ☆11Dec 30, 2023Updated 2 years ago
• pedrotst / coquedille

  View on GitHub
  A Coq to Cedille compiler written in Coq
  ☆34Sep 22, 2020Updated 5 years ago
• runtimeverification / algorand-verification

  View on GitHub
  Formal verification of the Algorand consensus protocol
  ☆27Nov 20, 2022Updated 3 years ago
• RedPRL / ocaml-bwd

  View on GitHub
  🔙 Backward lists for OCaml
  ☆22Nov 21, 2025Updated 4 months ago
• tomjridge / imp_fs

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

  View on GitHub
  String searching with errors, using the Wu-Manber algorithm
  ☆23Jan 17, 2025Updated last year
• smtcoq / sniper

  View on GitHub
  ☆39Mar 6, 2026Updated 2 weeks ago
• CoqHott / exceptional-tt

  View on GitHub
  A Coq plugin that implements exceptions in Coq
  ☆13Jan 7, 2021Updated 5 years ago
• costa-group / forves

  View on GitHub
  ☆13Nov 19, 2024Updated last year
• well-typed-lightbulbs / ocaml-baremetal-esp32

  View on GitHub
  ☆16Jun 25, 2019Updated 6 years ago
• yminsky / core-hello-world

  View on GitHub
  Some simple exercises for getting up and running with OCaml, Dune, Core and Async
  ☆16May 19, 2018Updated 7 years ago
• chordify / redis-schema

  View on GitHub
  Typed, schema-based, composable Redis library for Haskell
  ☆10Dec 10, 2025Updated 3 months ago
• bedrocksystems / coq-lens

  View on GitHub
  Lenses in Coq
  ☆17Oct 7, 2022Updated 3 years ago