arbace/mandane

Functional Lisp Hypervisor for Apple Silicon M*

mandane

Functional Lisp Hypervisor for Apple Silicon M*

bare metal research playground, a synergetic aggregation of prior pathfinder studies, including

• arbace
• beagle
• bitclojn
• cloiure
• cortex
• ermine
• vijure
• waltraud

meta-circular evaluator prototyped praising Clojure, soon to be transduced to advanced Armv8 idioms

$ lein mandane
Mandane => (def ζ (λ [f] ((λ [x] (x x)) (λ [x] (f (λ [& s] (apply (x x) s)))))))
...
Mandane => (defn mandane-is [c] (str "Mandane is a minimal " c " interpreter expressed entirely in " c))
Mandane => (mandane-is 'Clojure)
"Mandane is a minimal Clojure interpreter expressed entirely in Clojure"
...
Mandane => (repl)
Mandane => (let [m 'Mandane] (str m " to be expressed entirely in " m " complected from AArch64 primitives"))
"asap!"

literature and credits

• clojure
• exactstep
• ferret
• graalvm
• m1n1
• macvdmtool
• openjdk
• rrb-vector