JoeDralliam/UntypedLC
An implementation of untyped lambda calculus, and proofs
Public GitHub Catalog
Discovered Sep 24, 2026
JoeDralliam / Ocsfml
Ocaml port of the C++ SFML library.
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.
#2289026GitHub System ID
JoeDralliamOrganization / User
PublicVisibility
ActiveCatalog Status
More from JoeDralliam
JoeDralliam/nhb
Nethack notification over IRC (NhNoIRC) bot
JoeDralliam/kaloterie
Public repository.
JoeDralliam/dijkstra-fibonacci
Public repository.