gridaphobe/mingw-ocaml
OCaml cross-compiler based on mingw
Public GitHub Catalog
Discovered Oct 2, 2026
gridaphobe / acl2
Writing and calling ACL2 from Haskell.
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#25370502GitHub System ID
gridaphobeOrganization / User
PublicVisibility
ActiveCatalog Status
More from gridaphobe
gridaphobe/Idris-dev
A Dependently Typed Functional Programming Language
gridaphobe/nix
Nix, the purely functional package manager
gridaphobe/structured-haskell-mode
Structured editing minor mode for Haskell in Emacs