nulvinge/Linear-Abstract-Machine
An implementation of the linear abstract machine, a machine to execute linear logic programs
Haskell FFI bindings to CUDA
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
An implementation of the linear abstract machine, a machine to execute linear logic programs
Compensated floating-point arithmetic
Kursgraf för SND
Next version of Obsidian