mkoconnor/ocaml-cohttp
Very lightweight HTTP server using Lwt or Async
Public GitHub Catalog
Discovered Sep 24, 2026
mkoconnor / John-Harrison-s-Automated-Reasoning-Code
This is a copy of John Harrison's automated reasoning code, with my personalizations
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#1950666GitHub System ID
mkoconnorOrganization / User
PublicVisibility
ActiveCatalog Status
More from mkoconnor
mkoconnor/elm-fourier
fourier program in elm
mkoconnor/quantomatic
Quantomatic is a tool for doing automated graph rewriting.
mkoconnor/elm-mathy-stuff
Source code for some elm math demonstrations