dorchard/effects-as-sessions
Formalised embedding of an imperative language with effect system into session-typed pi calculus.
Public GitHub Catalog
Discovered Oct 1, 2026
dorchard / zipper-solver
A zipper based data structure for rearranging formulae
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.
#21687300GitHub 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/fibonacci_crisis
Source-code from Fibonacci Crisis performances and practises (written in Sonic Pi v2.0)
dorchard/stencil-algebra
An (abstract) algebra for stencil computations