A minimal decentralized computer.
☆115Feb 9, 2022Updated 4 years ago
Alternatives and similar repositories for Kindelia
Users that are interested in Kindelia are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A next-gen, massively parallel, beta-optimal functional runtime.☆10Jan 3, 2022Updated 4 years ago
- A minimal pure functional language based on self dependent types.☆73May 11, 2022Updated 4 years ago
- Collection of Kind2 programs and proofs☆12May 17, 2024Updated 2 years ago
- ☆47Mar 3, 2021Updated 5 years ago
- A modern proof language☆3,764Jan 22, 2025Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A Peer-to-Peer Operating System☆37Mar 17, 2019Updated 7 years ago
- Specification of the Formality proof and programming language☆43Feb 5, 2023Updated 3 years ago
- Formality in itself☆20Nov 30, 2020Updated 5 years ago
- An efficient, secure cryptocomputer☆617Nov 25, 2023Updated 2 years ago
- The Torus Blockchain implementation.☆25Jul 7, 2026Updated 3 months ago
- Moonad: a Peer-to-Peer Operating System☆99Dec 7, 2019Updated 6 years ago
- A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.☆961Nov 13, 2025Updated 11 months ago
- HVM1 (2022): a massively parallel, optimal functional runtime in Rust☆11,350Sep 16, 2026Updated last month
- A programming language for the decentralized web☆445Mar 7, 2023Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Extension of nom to apply "Packrat Parsing"☆21Feb 3, 2025Updated last year
- General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]☆52May 23, 2026Updated 5 months ago
- ☆16Jun 21, 2021Updated 5 years ago
- Quantum-proof, 768-bit signatures for 1-bit messages☆12Mar 11, 2020Updated 6 years ago
- A flexible modeling notation Δ☆15Jul 29, 2026Updated 3 months ago
- A simple, clean and fast implementation of the λ-calculus on JavaScript.☆54Apr 23, 2026Updated 6 months ago
- Agda libraries relevant to Moonad☆15Apr 2, 2019Updated 7 years ago
- Notes on Functional Programming and related topics☆31Jun 9, 2022Updated 4 years ago
- Dependent type checker using normalisation by evaluation☆278Sep 5, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Monorepo for the Torus Network TypesSript Ecosystem. It's managed with Turborepo and pnpm.☆15Aug 18, 2026Updated 2 months ago
- An upcoming operating system built on Type-Theory☆43Jul 1, 2020Updated 6 years ago
- Proc-macro to write an automatic fix for the "hidden lifetime in impl Trait" issue☆11Nov 22, 2024Updated last year
- An extended typed Lambda Calculus☆22Aug 20, 2026Updated 2 months ago
- Semantic find-and-replace using tree-sitter-based macro expansion!☆17Mar 31, 2022Updated 4 years ago
- JS Implementation of Practical Verifiable Encryption and Decryption of Discrete Logarithms☆13Jan 7, 2023Updated 3 years ago
- A new signing tool using provenance based identity.☆12Oct 29, 2026Updated last week
- [outdated] A moddable MOBA in Formality☆99Jan 7, 2023Updated 3 years ago
- Absal ex☆60Sep 8, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Simple trait that enables using FPGA VariableBaseMsm developed by ingonyama☆10Nov 23, 2022Updated 3 years ago
- A parallel general purpose computer based on interaction combinators☆12Nov 19, 2021Updated 4 years ago
- Zero-knowledge layer-2 payment channels☆23Jun 5, 2023Updated 3 years ago
- A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.☆23Jun 4, 2026Updated 5 months ago
- Wrapped Bitcoin on Tezos Blockchain☆14Aug 1, 2023Updated 3 years ago
- PlayStation 1 (PSX) Docker toolchain for building projects and ISO images☆11Feb 3, 2025Updated last year
- Idris style sized vectors in PureScript☆18Jan 5, 2021Updated 5 years ago