nulvinge/Linear-Abstract-Machine
An implementation of the linear abstract machine, a machine to execute linear logic programs
Public GitHub Catalog
Discovered Sep 26, 2026
nulvinge / 6601-1
6601 project 1
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.
#5844608GitHub 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