Amos Robinson's repositories
clustering
implementation of clustering/scheduling for combinators, using ILP
clustering-proof
Coq proofs of validity of ILP clustering algorithm
nominal-wyvern
Nominal Wyvern typechecker for subtyping decidability
streamtiling
'Controlled' stream fusion
frama_c_example
A small example using Frama-C example
fstar-vscode-assistant
An interactive mode for F* in VS Code
Language:TypeScriptNOASSERTION000
isa-value-parser
Simple, faster parser for "value terms" in Isabelle.
monad-free
how do you write hedgehog without monads
Language:Rust000
pulse
The Pulse separation logic DSL for F*
Language:F*Apache-2.0000
xylo
Xylophone and idiophone experiments
Language:Jupyter Notebook000