Pinned Repositories
Bend
A massively parallel, high-level programming language
batata
coxinha
coxinha
grape
An experimental virtual machine
kitty-inet
interaction nets implementation based on Taelin's Interaction-Calculus
lala
pattern matching experiment
lamen
simple dependent type checker
oktu
purpura
a statically typed functional programming language - unfinished
wisp
imaqtkatt's Repositories
imaqtkatt/grape
An experimental virtual machine
imaqtkatt/kitty-inet
interaction nets implementation based on Taelin's Interaction-Calculus
imaqtkatt/coxinha
coxinha
imaqtkatt/purpura
a statically typed functional programming language - unfinished
imaqtkatt/batata
imaqtkatt/lala
pattern matching experiment
imaqtkatt/lamen
simple dependent type checker
imaqtkatt/oktu
imaqtkatt/wisp
imaqtkatt/hor
experimental hvm-core repl
imaqtkatt/Bend
A massively parallel, high-level programming language
imaqtkatt/bruijn
imaqtkatt/clorjer-server-example
imaqtkatt/hvm-core
imaqtkatt/javamaiorquerust
imaqtkatt/juice
Take some grapes and make some juice
imaqtkatt/kind2
Temporary repository for Kind2's refactor based on HVM2
imaqtkatt/mist
jvm implementation
imaqtkatt/potat
potat server
imaqtkatt/stacker-derive
proc macro test
imaqtkatt/stackmachine
buggy stackmachine attempt
imaqtkatt/termstorage
a server that store 'terms'
imaqtkatt/tytyp
tanuki type checker