Alternatives and similar repositories for Kindelia

Users that are interested in Kindelia are comparing it to the libraries listed below

• HigherOrderCO / hvm-64
  ☆496Updated 11 months ago
• VictorTaelin / Interaction-Calculus
  A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
  ☆887Updated 2 months ago
• HigherOrderCO / HVM3
  HVM3
  ☆218Updated last week
• lurk-lab / lurk-beta
  Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact:…
  ☆446Updated 3 months ago
• HigherOrderCO / kind2-archive
  Temporary repository for Kind2's refactor based on HVM2
  ☆282Updated 8 months ago
• HigherOrderCO / Kind
  A modern proof language
  ☆3,674Updated 4 months ago
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆303Updated 7 months ago
• VictorTaelin / ChatSH
  Chat with GPT from the terminal, with the ability to execute shell scripts.
  ☆93Updated last year
• informalsystems / quint
  An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
  ☆933Updated this week
• VineLang / vine
  an experimental new programming language based on interaction nets
  ☆266Updated this week
• faiface / par-lang
  Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.
  ☆245Updated this week
• magmide / magmide
  A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
  ☆824Updated last year
• austral / austral
  Systems language with linear types and capability-based security.
  ☆1,324Updated 3 weeks ago
• noir-lang / noir
  Noir is a domain specific language for zero knowledge proofs
  ☆1,085Updated this week
• VictorTaelin / abstract-algorithm
  Optimal evaluator of λ-calculus terms.
  ☆276Updated 2 years ago
• zesterer / tao
  A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…
  ☆1,117Updated 2 months ago
• argumentcomputer / yatima-lang-alpha
  A programming language for the decentralized web
  ☆448Updated 2 years ago
• teikalang / teika
  ☆348Updated 2 months ago
• hazelgrove / hazel
  Hazel, a live functional programming environment with typed holes
  ☆927Updated this week
• qteatime / crochet
  Crochet: A tool for creating and remixing interactive experiences, safely.
  ☆124Updated last year
• 0xMiden / miden-vm
  STARK-based virtual machine
  ☆665Updated this week
• lithdew / rheia
  A blockchain written in Zig.
  ☆279Updated 3 years ago
• mratsim / constantine
  Constantine: modular, high-performance, zero-dependency cryptography stack for verifiable computation, proof systems and blockchain prot…
  ☆464Updated 2 weeks ago
• sarsko / CreuSAT
  CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
  ☆642Updated 3 weeks ago
• nalinbhardwaj / zordle
  Wordle, but with ZK proofs!
  ☆220Updated 2 years ago
• anoma / juvix
  A language for intent-centric and declarative decentralised applications
  ☆484Updated this week
• microsoft / Nova
  Nova: High-speed recursive arguments from folding schemes
  ☆763Updated last week
• darkforest-eth / darkforest-v0.3
  Dark Forest v0.3
  ☆235Updated 3 years ago
• darkrenaissance / darkfi
  Anonymous. Uncensored. Sovereign.
  ☆1,242Updated this week
• ipvm-wg / homestar
  Homestar is the individual node that makes up the Everywhere Computer network (similar to how IPFS Kubo, Iroh, Nabu, or other implementat…
  ☆238Updated 8 months ago