HomeExploremoonad

Moonad Collection

Repositories tagged with "moonad"

RARE

TCG-style cards with ATK/DEF/SPD stats

UNCOMMON

⭐3.8kHP

◆

🌀Psychic

★★

Kind

HigherOrderCO

Haskelldependent-typesformality

“A modern proof language”

★

3.8k

150

3.8k

150 forks

ATK

DEF

SPD

GitPedia #566

2/5

View wiki →𝕏

GitPedia

Repository Card

UNCOMMON

★

3.8k

150

3.8k

COMMON

⭐71HP

◆

⚡Electric

★

Formality-JavaScript

moonad-archive

JavaScriptformalityinets

“An implementation of the Formality language in JavaScript”

★

4 forks

ATK

DEF

SPD

GitPedia #772

1/5

View wiki →𝕏

GitPedia

Repository Card

COMMON

★