dorchard/effects-as-sessions
Formalised embedding of an imperative language with effect system into session-typed pi calculus.
Public GitHub Catalog
Discovered Sep 26, 2026
dorchard / language-fortran
Haskell parser and manipulation functions for Fortran code
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#6334849GitHub 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