HigherOrderCO / Kind Star 3.7k Code Issues Pull requests Discussions A modern proof language dependent-types functional-programming lambda-calculus type-theory theorem-prover formality moonad proof-language proof-languages Updated Jan 22, 2025 Haskell
moonad-archive / Formality-JavaScript Star 71 Code Issues Pull requests An implementation of the Formality language in JavaScript javascript lambda-calculus interaction-nets inets formality moonad Updated Aug 27, 2019 JavaScript
moonad / Moonad Star 27 Code Issues Pull requests Moonad: a p2p academic journal, or a social network for code? functional-programming game-development formal-verification formal-languages academic-journals formality moonad Updated Jan 6, 2023 JavaScript