📚 Interaction net resources

HVM3

Code for the paper 'Bayesian Program Learning by Decompiling Amortized Knowledge'.

Materials for ConceptARC paper

Extremely fast search engine—operating mainly at the level of individual bits—to discover the optimal actions (according to supplied preferences) for the draft phase of any MOBA.

An introduction to programming language theory in Agda

fzf ❤️ vim