Wassasin/fastcgipp
Fork of the FastCGI++ library
Public GitHub Catalog
Discovered Sep 29, 2026
Wassasin / lambda-formalisation
Formalisation of a type checker for the simply typed lambda calculus, in Coq
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.
#14687599GitHub System ID
WassasinOrganization / User
PublicVisibility
ActiveCatalog Status
More from Wassasin
Wassasin/entreedief
Scraper for the website of the housing organisation Portaal
Wassasin/xraymodel
Modelling and Analysis of an Interventional X-Ray System in NuSMV2
Wassasin/elevatormodel
Modelling and Analysis of an Elevator System with NuSMV2