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:
- All the code I've ever written in Ltac2☆11Jan 19, 2021Updated 5 years ago
- Invoke SMT solvers from Coq to check obligations☆10Jun 16, 2020Updated 5 years ago
- Rust FFI bindings for StarkWare's crypto-cpp library☆15Apr 27, 2022Updated 3 years ago
- Pylons cross-platform mobile wallet☆13Aug 22, 2022Updated 3 years ago
- a CCA-secure module-lattice-based KEM☆17Dec 21, 2018Updated 7 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Certora integration with the Forge testing framework of Foundry☆21Jun 8, 2023Updated 2 years ago
- ☆24Dec 11, 2024Updated last year
- C++ experiments on Playdate☆13Jan 14, 2020Updated 6 years ago
- Rust concise 5 Minutes cheat-sheet for each concepts. (WIP)☆18Oct 21, 2019Updated 6 years ago
- ☆16Mar 27, 2023Updated 3 years ago
- Zero-knowledge gadget for Sparse Merkle Tree.☆19Jun 14, 2022Updated 3 years ago
- MEV example from @bertcmiller implement in Foundry☆74Jul 1, 2022Updated 3 years ago
- Common CosmWasm Smart Contract examples for Terra☆11Apr 25, 2022Updated 3 years ago
- Specification of the Cedille Core language☆36Jul 21, 2020Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- relays blocks from the shared sequencer to the DA layer☆27May 25, 2023Updated 2 years ago
- Implementation of additive homomorphic ElGamal using the Ristretto group over Curve25519☆21Sep 5, 2022Updated 3 years ago
- Sort of a book, sort of a twitter rant.☆16Nov 14, 2020Updated 5 years ago
- ☆10Jan 2, 2022Updated 4 years ago
- Documentation of Substrate fundamentals.☆16Jul 16, 2020Updated 5 years ago
- ☆34Sep 12, 2021Updated 4 years ago
- ☆22Feb 10, 2022Updated 4 years ago
- ☆37Jan 17, 2024Updated 2 years ago
- Audio convolution algorithm in Rust for real-time audio processing☆19Nov 10, 2025Updated 5 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- ☆19Jan 12, 2021Updated 5 years ago
- ☆29Mar 13, 2023Updated 3 years ago
- hardhat plugin for governance proposals☆11May 4, 2023Updated 2 years ago
- Automated Delta Neutral Yields☆28Apr 25, 2022Updated 3 years ago
- ☆13Dec 13, 2021Updated 4 years ago
- Epirus SDK CLI☆18Mar 31, 2022Updated 4 years ago
- Rocq RFCs: documents to discuss changes to the Rocq Prover☆61Jan 15, 2025Updated last year
- Simulate txs to human readable format☆28Feb 20, 2026Updated last month
- GameBoy and GameBoy Color emulator written in Rust☆78Feb 7, 2026Updated 2 months ago
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- Highly composable C++17 template meta programming library☆39Mar 2, 2019Updated 7 years ago
- cross-chain ETL tool for EVM chaindata☆32Jul 10, 2022Updated 3 years ago
- Key managers, recovery, gas abstraction and self-sovereign identity for web3 universal login.☆25Jun 23, 2020Updated 5 years ago
- goku is a HTTP load testing application written in Rust☆36Jan 16, 2023Updated 3 years ago
- A mechanisation of Wasm in Rocq☆116Mar 30, 2026Updated last week
- An Isolated Safe Environment to Execute Foundry Projects.☆44Jul 22, 2022Updated 3 years ago
- ☆14Jul 26, 2024Updated last year