kindelia-archive / Kindelia
A minimal decentralized computer.
☆120Updated 2 years ago
Alternatives and similar repositories for Kindelia:
Users that are interested in Kindelia are comparing it to the libraries listed below
- Collection of Kind2 programs and proofs☆11Updated 8 months ago
- ☆38Updated 3 years ago
- A minimal pure functional language based on self dependent types.☆72Updated 2 years ago
- Moonad: a Peer-to-Peer Operating System☆102Updated 5 years ago
- An upcoming operating system built on Type-Theory☆43Updated 4 years ago
- ☆117Updated 11 months ago
- Standard library for the Formality language☆18Updated 4 years ago
- Lightweight, higher-order parser in Rust.☆12Updated last year
- ☆23Updated last year
- Provides a Refl encoding in Rust☆69Updated last year
- Specification of the Formality proof and programming language☆41Updated last year
- A pseudo-random deterministic merkle tree built on LMDB☆67Updated 9 months ago
- 🧪 | LLVM backend for HVM☆22Updated last year
- A Peer-to-Peer Operating System☆35Updated 5 years ago
- ☆68Updated 2 years ago
- A minimal proof checker.☆70Updated 4 months ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆111Updated 5 years ago
- a pragmatic point-free theorem prover assistant☆137Updated last year
- Jessica - Jessie (secure distributed Javascript) Compiler Architecture☆36Updated last year
- 👌 A smol functional language that targets other languages☆62Updated last year
- A code browsing library for VCS file systems.☆32Updated 2 years ago
- Oscoin Full Node Implementation in Haskell (Work in Progress)☆24Updated 5 years ago
- a tiny tile-based editor☆295Updated this week
- IPFS wrapper for Haskell☆43Updated last year
- WebAssembly Code Generation Backend for Idris Compiler☆83Updated 6 years ago
- Formality in itself☆20Updated 4 years ago
- Cap'n Proto RPC implementation☆105Updated last month
- Moonad: a p2p academic journal, or a social network for code?☆28Updated 2 years ago
- Crochet: A tool for creating and remixing interactive experiences, safely.☆124Updated last year
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆221Updated last year