kindelia-archive / Kindelia
A minimal decentralized computer.
☆121Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for Kindelia
- Collection of Kind2 programs and proofs☆11Updated 5 months ago
- ☆37Updated 3 years ago
- A minimal pure functional language based on self dependent types.☆72Updated 2 years ago
- Moonad: a Peer-to-Peer Operating System☆101Updated 4 years ago
- Specification of the Formality proof and programming language☆40Updated last year
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆205Updated 9 months ago
- ☆109Updated 9 months ago
- WebAssembly Code Generation Backend for Idris Compiler☆84Updated 6 years ago
- Inpla: Interaction nets as a programming language (the current version)☆277Updated last week
- A minimal proof checker.☆64Updated 2 months ago
- Standard library for the Formality language☆18Updated 4 years ago
- Provides a Refl encoding in Rust☆68Updated last year
- An upcoming operating system built on Type-Theory☆43Updated 4 years ago
- An implementation of the Formality language in JavaScript☆72Updated 5 years ago
- ☆67Updated 2 years ago
- Haskell WebAssembly Toolkit☆151Updated 5 months ago
- Lightweight, higher-order parser in Rust.☆11Updated last year
- 🧪 | LLVM backend for HVM☆20Updated last year
- a pragmatic point-free theorem prover assistant☆137Updated last year
- The next-generation Olin runtime, made with love☆65Updated 2 years ago
- A zero-knowledge Lean4 compiler and kernel☆119Updated this week
- A programming language for the decentralized web☆447Updated last year
- Moonad: a p2p academic journal, or a social network for code?☆28Updated last year
- OCaml bindings for Binaryen.☆49Updated 10 months ago
- A code browsing library for VCS file systems.☆32Updated 2 years ago
- Formality in itself☆19Updated 3 years ago