Soonad / WhitepaperLinks
Moonad: a Peer-to-Peer Operating System
☆101Updated 5 years ago
Alternatives and similar repositories for Whitepaper
Users that are interested in Whitepaper are comparing it to the libraries listed below
Sorting:
- A minimal proof language.☆210Updated 6 years ago
- An upcoming operating system built on Type-Theory☆43Updated 5 years ago
- A Peer-to-Peer Operating System☆36Updated 6 years ago
- Specification of the Formality proof and programming language☆41Updated 2 years ago
- Thoughts and stuff☆70Updated 5 years ago
- The symbolic execution engine powering the K Framework☆223Updated last week
- An implementation of the Formality language in JavaScript☆71Updated 6 years ago
- ☆36Updated 3 years ago
- Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core☆28Updated 6 years ago
- A minimal decentralized computer.☆118Updated 3 years ago
- theseus, functional programming language with fully reversible computation☆123Updated 6 years ago
- Noether programming language☆127Updated 8 years ago
- Collection of Kind2 programs and proofs☆12Updated last year
- A small and expressive dependently typed language☆131Updated 5 years ago
- A simple, untyped, terminating functional language that is fully compatible with optimal reductions.☆17Updated 6 years ago
- Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.☆116Updated 8 years ago
- A Formal Semantics of WebAssembly in K☆83Updated last week
- A minimalistic blockchain consensus implemented and verified in Coq☆113Updated 5 years ago
- ☆35Updated 7 years ago
- Optimal evaluator of λ-calculus terms.☆281Updated 2 years ago
- Double ratchet algorithm for E2E encryption☆59Updated 6 years ago
- Relational programming in Haskell. Mostly developed on twitch.☆266Updated last year
- WebAssembly Code Generation Backend for Idris Compiler☆82Updated 7 years ago
- Absal ex☆58Updated 2 years ago
- Functional Programming for Ethereum: Intro and Resources☆66Updated 8 years ago
- Programming language agnostic type construction language based on polynomials.☆370Updated last year
- Domain Specific Languages for Computational Law☆77Updated 3 months ago
- The Makam Metalanguage☆199Updated 2 years ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆77Updated 8 years ago
- Compiles Haskell to WebAssembly☆167Updated 6 years ago