kindelia / Kindelia
An efficient, secure cryptocomputer
☆604Updated 9 months ago
Related projects: ⓘ
- ☆496Updated 3 months ago
- A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.☆755Updated last month
- Collection of Kind2 programs and proofs☆11Updated 4 months ago
- ☆98Updated this week
- A modern proof language☆3,539Updated 2 months ago
- A minimal decentralized computer.☆122Updated 2 years ago
- Temporary repository for Kind2's refactor based on HVM2☆276Updated 3 weeks ago
- ☆99Updated this week
- An executable specification language with delightful tooling based on the temporal logic of actions (TLA)☆784Updated this week
- Inpla: Interaction nets as a programming language (the current version)☆273Updated last week
- Systems language with linear types and capability-based security.☆1,111Updated 2 months ago
- A programming language for the decentralized web☆448Updated last year
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.☆811Updated 5 months ago
- ☆105Updated 7 months ago
- ☆23Updated this week
- A modern supercompiler for call-by-value functional languages☆366Updated this week
- Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦☆398Updated this week
- Hazel, a live functional programming environment with typed holes☆744Updated this week
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,089Updated last year
- Optimal evaluator of λ-calculus terms.☆264Updated last year
- ☆33Updated this week
- ☆11Updated this week
- Compiler for the Vale programming language - http://vale.dev/☆1,771Updated 4 months ago
- A language for intent-centric and declarative decentralised applications☆448Updated this week
- A massively parallel, optimal functional runtime in Rust☆10,428Updated 2 weeks ago
- Wordle, but with ZK proofs!☆213Updated last year
- An APL-like programming language☆876Updated 2 weeks ago
- x86 C compiler written in untyped lambda calculus☆617Updated last year
- Koka language compiler and interpreter☆3,245Updated this week
- ☆318Updated 2 weeks ago