nulvinge/Linear-Abstract-Machine
An implementation of the linear abstract machine, a machine to execute linear logic programs
Public GitHub Catalog
Discovered Sep 24, 2026
nulvinge / iexpr
Iexpression library
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.
#2400827GitHub System ID
nulvingeOrganization / User
PublicVisibility
ActiveCatalog Status
More from nulvinge
nulvinge/cuda
Haskell FFI bindings to CUDA
nulvinge/compensated
Compensated floating-point arithmetic
nulvinge/snd-kursgraf
Kursgraf för SND