Concordium Free & Open Grants Program aims to power innovative opensource applications in the Concordium Ecosystem.
☆37Sep 23, 2023Updated 2 years ago
Alternatives and similar repositories for Concordium-Free-Open-Grants-Program
Users that are interested in Concordium-Free-Open-Grants-Program are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Invoke SMT solvers from Coq to check obligations☆10Jun 16, 2020Updated 6 years ago
- ☆27Sep 17, 2021Updated 4 years ago
- HoTT proofs using experimental induction-induction (mostly about real numbers) (used to contain the HoTT.Classes proofs)☆17Dec 9, 2020Updated 5 years ago
- Pylons cross-platform mobile wallet☆13Aug 22, 2022Updated 3 years ago
- ☆10Dec 10, 2022Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Certora integration with the Forge testing framework of Foundry☆21Jun 8, 2023Updated 3 years ago
- ☆24Dec 11, 2024Updated last year
- Zero-knowledge gadget for Sparse Merkle Tree.☆19Jun 14, 2022Updated 4 years ago
- Rust concise 5 Minutes cheat-sheet for each concepts. (WIP)☆18Oct 21, 2019Updated 6 years ago
- ☆24Apr 15, 2026Updated 3 months ago
- Specification of the Cedille Core language☆36Jul 21, 2020Updated 6 years ago
- Mathematical terms, definitions, and propositions in as many languages as possible☆23Jul 24, 2026Updated 2 weeks ago
- A Workshop for Learning Rust and WebAssembly☆12Aug 28, 2019Updated 6 years ago
- Repository with resources for the THEMIS RFC&C☆16Sep 1, 2023Updated 2 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.
- relays blocks from the shared sequencer to the DA layer☆27May 25, 2023Updated 3 years ago
- Sort of a book, sort of a twitter rant.☆16Nov 14, 2020Updated 5 years ago
- Documentation of Substrate fundamentals.☆16Jul 16, 2020Updated 6 years ago
- Coordination repository of the Machine Learning (applicant) Working Group☆19Nov 15, 2020Updated 5 years ago
- Language models for Coq based on data collected from the coq lsp.☆31Feb 23, 2026Updated 5 months ago
- ☆22Feb 10, 2022Updated 4 years ago
- The Solana Memo program and its clients☆21Jul 30, 2026Updated last week
- Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theor…☆30Dec 27, 2023Updated 2 years ago
- Examples and support libraries for the amdgpu Rust target☆19May 26, 2026Updated 2 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆38Jan 17, 2024Updated 2 years ago
- Solana Airdrop Faucet: A simple web application that allows users to receive free SOL tokens on the Solana Devnet. Built with Next.js, th…☆11Sep 22, 2024Updated last year
- Rocq RFCs: documents to discuss changes to the Rocq Prover☆64Jan 15, 2025Updated last year
- Simulate txs to human readable format☆28Feb 20, 2026Updated 5 months ago
- Python BlockTrail's Developer Friendly SDK for the BlockTrail API☆23Feb 27, 2018Updated 8 years ago
- GameBoy and GameBoy Color emulator written in Rust☆79Jun 6, 2026Updated 2 months ago
- cross-chain ETL tool for EVM chaindata☆32Jul 10, 2022Updated 4 years ago
- Scripts to keep your music collection tidy. Extract from a ZIP, review and fix metadata… Designed with Bandcamp and Amazon Music in mind,…☆25Sep 4, 2024Updated last year
- Control tools for Orbita 3D actuator☆25Feb 3, 2026Updated 6 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Coq with native compilation, as well as machine integers and arrays !☆63Jul 12, 2018Updated 8 years ago
- An Isolated Safe Environment to Execute Foundry Projects.☆44Jul 22, 2022Updated 4 years ago
- A mechanisation of Wasm in Rocq☆123Jun 18, 2026Updated last month
- Wait for async tasks☆13Dec 22, 2022Updated 3 years ago
- Interact with Solana from the Internet Computer☆25Apr 10, 2026Updated 4 months ago
- A collection of Rust examples for the RP2030 Wireless board☆21Oct 29, 2025Updated 9 months ago
- Concordium Developer Documentation☆19Updated this week