anoma / juvixLinks
A language for intent-centric and declarative decentralised applications
☆504Updated 3 weeks ago
Alternatives and similar repositories for juvix
Users that are interested in juvix are comparing it to the libraries listed below
Sorting:
- The Juvix standard library☆27Updated last week
- The symbolic execution engine powering the K Framework☆222Updated this week
- Web3 API for Haskell☆192Updated last year
- Collection of Kind2 programs and proofs☆12Updated last year
- Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact:…☆452Updated 8 months ago
- A zero-knowledge Lean4 compiler and kernel☆139Updated 11 months ago
- A Categorical View of Computation☆33Updated this week
- A categorical programming language with effects☆287Updated 2 years ago
- formally verified category theory library☆266Updated 5 years ago
- Haskell implementation of open games☆176Updated 9 months ago
- Standard library for linear types in Haskell.☆350Updated last week
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆639Updated last week
- Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations☆384Updated 2 years ago
- A new Categories library for Agda☆390Updated 3 weeks ago
- A minimal proof language.☆210Updated 6 years ago
- Minimal implementations for dependent type checking and elaboration☆738Updated 2 months ago
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,053Updated 4 months ago
- An experimental library for Cubical Agda☆509Updated last week
- A purely functional programming language with first class types☆61Updated 7 months ago
- OCaml DSL for verifiable computation☆502Updated last month
- Demo for high-performance type theory elaboration☆570Updated 2 years ago
- The Glow language for Blockchain Decentralized Applications.☆60Updated 2 months ago
- Proof assistant based on the λΠ-calculus modulo rewriting☆356Updated this week
- The Monad Transformer Library☆391Updated last week
- Experimental implementation of Cubical Type Theory☆591Updated 2 years ago
- Software Foundations in Idris☆456Updated 6 years ago
- 😎TT☆233Updated 2 months ago
- Programming language agnostic type construction language based on polynomials.☆370Updated last year
- Optimal evaluator of λ-calculus terms.☆281Updated 2 years ago
- The monorepo of YulDSL (a DSL for Solidity/Yul), YulDSL/Haskell (Embedding YulDSL in Haskel), and Yolc (a safe, expressive, fun language …☆41Updated 3 months ago