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:
- 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
- A minimal proof language.☆209Updated 6 years ago
- Thoughts and stuff☆70Updated 5 years ago
- ☆36Updated 3 years ago
- An implementation of the Formality language in JavaScript☆71Updated 6 years ago
- Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core☆28Updated 6 years ago
- The symbolic execution engine powering the K Framework☆222Updated last week
- ☆35Updated 7 years ago
- Standard library for the Formality language☆18Updated 5 years ago
- A minimalistic blockchain consensus implemented and verified in Coq☆113Updated 5 years ago
- Collection of Kind2 programs and proofs☆12Updated last year
- A simple, untyped, terminating functional language that is fully compatible with optimal reductions.☆17Updated 6 years ago
- A minimal decentralized computer.☆118Updated 3 years ago
- Double ratchet algorithm for E2E encryption☆59Updated 6 years ago
- Noether programming language☆127Updated 8 years ago
- Functional Programming for Ethereum: Intro and Resources☆66Updated 8 years ago
- Distributed Protocol Combinators☆13Updated 4 years ago
- Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.☆115Updated 8 years ago
- Compiles Haskell to WebAssembly☆166Updated 6 years ago
- WebAssembly Code Generation Backend for Idris Compiler☆82Updated 7 years ago
- A framework to execute and verify algorithms using Groth16 zkSNARKs.☆89Updated 5 years ago
- Optimised bilinear pairings over elliptic curves☆56Updated last year
- Abe-Ohkubo-Suzuki Linkable Ring Signatures☆48Updated 5 years ago
- A web server written in Coq.☆89Updated 9 years ago
- theseus, functional programming language with fully reversible computation☆123Updated 6 years ago
- Optimal evaluator of λ-calculus terms.☆281Updated 2 years ago
- A small and expressive dependently typed language☆131Updated 5 years ago
- Moonad: a p2p academic journal, or a social network for code?☆27Updated 2 years ago