DawidvC/mythryl
The Mythryl programming language
Public GitHub Catalog
Discovered Oct 2, 2026
DawidvC / WhileyCompiler
The Whiley Compiler (WyC)
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.
#23792718GitHub System ID
DawidvCOrganization / User
PublicVisibility
ActiveCatalog Status
More from DawidvC
DawidvC/FStar
An ML-like language with a type system for program verification
DawidvC/frenetic
The Frenetic Programming Language and Runtime System
DawidvC/eff
A functional programming language based on algebraic effects and their handlers.