kindelia / Kindelia
An efficient, secure cryptocomputer
☆616Updated last year
Alternatives and similar repositories for Kindelia:
Users that are interested in Kindelia are comparing it to the libraries listed below
- ☆496Updated 9 months ago
- A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.☆845Updated last week
- A modern proof language☆3,644Updated 2 months ago
- An executable specification language with delightful tooling based on the temporal logic of actions (TLA)☆893Updated last week
- Temporary repository for Kind2's refactor based on HVM2☆285Updated 6 months ago
- Inpla: Interaction nets as a programming language (the current version)☆294Updated 4 months ago
- Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact:…☆449Updated last month
- HVM3☆174Updated this week
- A language for intent-centric and declarative decentralised applications☆478Updated this week
- Systems language with linear types and capability-based security.☆1,211Updated 9 months ago
- A programming language for the decentralized web☆447Updated 2 years ago
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,112Updated this week
- an experimental new programming language based on interaction nets☆232Updated this week
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.☆820Updated 11 months ago
- Crochet: A tool for creating and remixing interactive experiences, safely.☆124Updated last year
- Homestar is the individual node that makes up the Everywhere Computer network (similar to how IPFS Kubo, Iroh, Nabu, or other implementat…☆232Updated 6 months ago
- Compiler for the Vale programming language - http://vale.dev/☆1,851Updated 10 months ago
- STARK-based virtual machine☆647Updated this week
- Noosphere is a protocol for thought; let's discover it together!☆671Updated 8 months ago
- Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications! ✈️ 🚀 ⚕️ 🏦☆855Updated this week
- A programming language with static memory management based on λ-calculus☆994Updated last week
- *slaps roof of [programming language]* this bad boy can fit so much [syntax sugar] into it☆1,146Updated 6 months ago
- Datalog compiler embedded in Rust as a procedural macro☆468Updated last year
- A functional, content-addressable programming language.☆422Updated last month
- A modern supercompiler for call-by-value functional languages☆402Updated this week
- ⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.☆311Updated 2 weeks ago
- Concrete is a simple programming language specifically crafted for creating highly scalable systems that are reliable, efficient, and eas…☆219Updated this week
- 📝 Web-based, reactive Datalog notebooks for data analysis and visualization☆614Updated 2 years ago
- Logic programming in Rust☆457Updated 3 weeks ago
- Noir is a domain specific language for zero knowledge proofs☆1,021Updated this week