13 skills found
HigherOrderCO / KindA modern proof language
Soonad / WhitepaperMoonad: a Peer-to-Peer Operating System
moonad-archive / Formality JavaScriptAn implementation of the Formality language in JavaScript
Soonad / MoonadAn upcoming operating system built on Type-Theory
VictorTaelin / Moonad Web LegacyA Peer-to-Peer Operating System
moonad / MoonadMoonad: a p2p academic journal, or a social network for code?
moonad-dotnet / MoonadA simple F#'s monads port for C#.
marcesquerra / MoonadsMonad composition for Cats
VictorTaelin / Formality Agda Lib LegacyAgda libraries relevant to Moonad
THE-FYP / MoonAdditionsA bunch of useful things for MoonLoader
moonad-archive / Roadmap(MIRROR) Moonad Accomplishments, Status, and Goals
Soonad / Moonad.org OldWebsite for Moonad
moonad / FormalogSandboxed communication for Moonad-Formality apps
