dorchard/effects-as-sessions
Formalised embedding of an imperative language with effect system into session-typed pi calculus.
Public GitHub Catalog
Discovered Oct 2, 2026
dorchard / fibonacci_crisis
Source-code from Fibonacci Crisis performances and practises (written in Sonic Pi v2.0)
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.
#23436027GitHub System ID
dorchardOrganization / User
PublicVisibility
ActiveCatalog Status
More from dorchard
dorchard/type-level-sets
Type-level sets for Haskell (with value-level counterparts and various operations)
dorchard/stencil-algebra
An (abstract) algebra for stencil computations
dorchard/zipper-solver
A zipper based data structure for rearranging formulae