The Juvix standard library
☆27Sep 28, 2026Updated last week
Alternatives and similar repositories for juvix-stdlib
Users that are interested in juvix-stdlib are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆19Jun 5, 2026Updated 4 months ago
- Namada indexer to be used in conjunction with the namada interface☆49Dec 19, 2025Updated 9 months ago
- A protocol adapter contract enabling Anoma Resource Machine transaction settlement on EVM-compatible chains.☆36Updated this week
- Early-stage research related to the Anoma protocols.☆37Oct 11, 2023Updated 2 years ago
- ☆92Sep 15, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A Categorical View of Computation☆39Sep 28, 2026Updated last week
- A generalized fully trustless Ethereum bridge for sovereign chains.☆14Oct 20, 2023Updated 2 years ago
- Lean4 bindings for raylib☆27Aug 3, 2026Updated 2 months ago
- The multi-asset shielded pool (MASP) provides a unified privacy set for all assets on Namada.☆92Aug 7, 2026Updated 2 months ago
- Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits☆162Aug 29, 2023Updated 3 years ago
- ☆22Jun 29, 2020Updated 6 years ago
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 5 years ago
- Formalization of Typhon protocol☆30Dec 20, 2024Updated last year
- Schnorr signatures over big curves for Ledger devices. group arithmetic & key derivation for unusual elliptic curves.☆13Apr 9, 2020Updated 6 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- nbgradio converts Jupyter notebooks with gradio code into static websites with live gradio apps!☆17Oct 15, 2025Updated 11 months ago
- A Coq plugin that implements exceptions in Coq☆13Jan 7, 2021Updated 5 years ago
- A language for intent-centric and declarative decentralised applications☆508Nov 5, 2025Updated 11 months ago
- This repository is used as an open library for the blockchain community. We include letters, papers, analysis, blogposts, etc, for anyone…☆31May 11, 2021Updated 5 years ago
- Zen Protocol Standard Library☆10Sep 13, 2021Updated 5 years ago
- A Haskell to Coq compiler that represents effectful programs with the free monad☆44May 31, 2022Updated 4 years ago
- An implementation of a DKG protocol for front-running protection on Anoma.☆83Feb 22, 2023Updated 3 years ago
- Cerebral/Baobab port of SurviveJS - Webpack and React Kanban app☆17Feb 24, 2016Updated 10 years ago
- Commonware Library Primitives and Examples☆618Updated this week
- 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.
- Elements of Group Theory☆16Oct 18, 2020Updated 5 years ago
- ☆12May 22, 2016Updated 10 years ago
- A Seamless, Interactive Tactic Learner and Prover for Coq☆87Sep 8, 2026Updated last month
- Asset registry for asset-transfer-api☆16Aug 2, 2026Updated 2 months ago
- Tool to index and visualise all the permissions on the whole Aave smart contracts ecosystem☆17Updated this week
- Lean circuit DSL☆200Updated this week
- Source files used for the Cedille Cast videos☆12Dec 28, 2025Updated 9 months ago
- An implementation of the Formality language in C☆13Oct 12, 2019Updated 6 years ago
- Decentralized Reliability Engineering☆19Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- TaPL implementation bits in Idris2☆17Feb 27, 2022Updated 4 years ago
- 💻 All the resources you'll need to begin your Stellar project.☆12Feb 17, 2023Updated 3 years ago
- ☆18May 10, 2022Updated 4 years ago
- ☆13Feb 12, 2026Updated 7 months ago
- EraVM specification.☆18Jun 18, 2026Updated 3 months ago
- A Cheat Sheet for Coq Developers who want to try LeanProver☆19Jul 25, 2023Updated 3 years ago
- deep learning course materials☆15Jun 24, 2020Updated 6 years ago