na0214 / snail

[WIP] A functional programming language based on Coeffect Calculus and Graded Modal Type Theory.

na0214/snail Stargazers

A-lan
Alan-love
cedretaber
cedretaber
CFUEN (A. Castillo)
cfuendev
Darren Li
darrenldl
denjiry
Andrejs Agejevs
esneko
Takashi Suwa
gfngfn
nem
NeM-T
Nymphium
Nymphium
S.H.
S-H-GAMELINKS
sarashino
sarashino
Sora Morimoto
smorimoto

Links

ProductDiscover

Data Powerby api.github.com. Remove your profile on the Giters? Go to settings.

Contact Site Admin: Giters.