markuspf/rust
a safe, concurrent, practical language
GAP package IO to do input and output
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
a safe, concurrent, practical language
Idris LLVM codegen factored out
Rich LLVM bindings for Haskell (with transfer of LLVM IR to and from C++, detailed compilation pass control, etc.)
Stabs at improving idris' ffi