imaqtkatt

grape

Grape Virtual Machine

kitty-inet

interaction nets implementation based on Taelin's Interaction-Calculus

purpura

purpura is a statically typed functional programming language

coxinha

coxinha

lamen

simple dependent type checker

oktu

hor

experimental hvm-core repl

hvm-core

juice

Take some grapes and make some juice

katt-data

Simple library for bend

kind2

Temporary repository for Kind2's refactor based on HVM2

kute

Katt's Unique Template Engine

mist

jvm implementation

potat

potat server

stacker-derive

proc macro test

stackmachine

buggy stackmachine attempt

termstorage

a server that store 'terms'

tytyp

tanuki type checker