kindelia / KindeliaLinks
An efficient, secure cryptocomputer
☆614Updated 2 years ago
Alternatives and similar repositories for Kindelia
Users that are interested in Kindelia are comparing it to the libraries listed below
Sorting:
- ☆494Updated last year
- Collection of Kind2 programs and proofs☆12Updated last year
- A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.☆929Updated 2 months ago
- Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact:…☆452Updated 10 months ago
- An executable specification language with delightful tooling based on the temporal logic of actions (TLA)☆1,122Updated this week
- A minimal decentralized computer.☆117Updated 3 years ago
- HVM3☆275Updated 3 months ago
- The Torus Blockchain implementation.☆24Updated 2 months ago
- Temporary repository for Kind2's refactor based on HVM2☆281Updated last year
- ☆120Updated last year
- A modern proof language☆3,716Updated 11 months ago
- Inpla: Interaction nets as a programming language (the current version)☆317Updated last week
- Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.☆647Updated this week
- Systems language with linear types and capability-based security.☆1,438Updated 5 months ago
- an experimental new programming language based on interaction nets☆337Updated this week
- A language for intent-centric and declarative decentralised applications☆504Updated 2 months ago
- A programming language for the decentralized web☆446Updated 2 years ago
- ☆42Updated 4 years ago
- Concrete is a simple programming language specifically crafted for creating highly scalable systems that are reliable, efficient, and eas…☆312Updated 6 months ago
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.☆832Updated last year
- ☆55Updated last year
- Homestar is the individual node that makes up the Everywhere Computer network (similar to how IPFS Kubo, Iroh, Nabu, or other implementat…☆252Updated last year
- An EVM compatible ledger with a focus on performance and observability. Suited for in house use.☆166Updated last week
- A minimal proof checker.☆78Updated last year
- A zero-knowledge Lean4 compiler and kernel☆142Updated last year
- A pseudo-random deterministic merkle tree built on LMDB☆81Updated 10 months ago
- 🏰 the first JSON-like Byzantine Fault Tolerant CRDT☆228Updated last year
- A compiler for fully homomorphic encryption and zero knowledge proofs☆299Updated 4 months ago
- Optimal evaluator of λ-calculus terms.☆282Updated 2 years ago
- Hazel, a live functional programming environment with typed holes☆1,064Updated this week