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
- ☆18Mar 16, 2026Updated 2 months ago
- Rust FFI bindings for StarkWare's crypto-cpp library☆15Apr 27, 2022Updated 4 years ago
- Certora integration with the Forge testing framework of Foundry☆21Jun 8, 2023Updated 3 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- MEV example from @bertcmiller implement in Foundry☆74Jul 1, 2022Updated 3 years ago
- ☆13Mar 13, 2021Updated 5 years ago
- Specification of the Cedille Core language☆36Jul 21, 2020Updated 5 years ago
- unnoficial bandcamp api☆13Aug 12, 2021Updated 4 years ago
- Sample script for calling the permissionless BrewBoo contract☆10Apr 28, 2023Updated 3 years ago
- Simple system monitor for windows and linux☆15Dec 29, 2017Updated 8 years ago
- Repository with resources for the THEMIS RFC&C☆15Sep 1, 2023Updated 2 years ago
- ☆34Sep 12, 2021Updated 4 years ago
- ☆22Feb 10, 2022Updated 4 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.
- ☆38Jan 17, 2024Updated 2 years ago
- Communal zk-SNARK MPC for Public Parameters☆19Nov 4, 2023Updated 2 years ago
- Rocq RFCs: documents to discuss changes to the Rocq Prover☆64Jan 15, 2025Updated last year
- 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
- A mechanisation of Wasm in Rocq☆120Mar 30, 2026Updated 2 months ago
- Coq with native compilation, as well as machine integers and arrays !☆63Jul 12, 2018Updated 7 years ago
- Wait for async tasks☆13Dec 22, 2022Updated 3 years ago
- cryptojp is a Python2 and Python3 client for crypto coin trade. Binance/Poloniex/Hitbtc/Bitflyer etc...☆23May 24, 2018Updated 8 years 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.
- A guide on smart contract patterns & practices☆31Aug 7, 2020Updated 5 years ago
- A Coordination repo for all things Rust Cryptography oriented☆286Jan 3, 2026Updated 5 months ago
- A Terraform module that generates JSON documents for access for common AWS SSM Parameter Store policies☆16May 29, 2025Updated last year
- Live demo: https://www.namaho.org/☆19Mar 25, 2017Updated 9 years ago
- A collection of libraries in Scheme☆13Mar 2, 2021Updated 5 years ago
- A research project to mix-regulate economy in MMO worlds☆33Mar 15, 2024Updated 2 years ago
- Documentation on goals of the Rocq-community organization, the shared contributing guide and code of conduct.☆72Mar 31, 2025Updated last year
- Generate sandbox buildable Nix expression from Mix lock file☆12Dec 19, 2025Updated 5 months ago
- we develop one automade bot on bitmex platform according hedge strategy,which proves working well☆24Sep 6, 2018Updated 7 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆11Jan 9, 2025Updated last year
- Solana Super Smart Contract☆37Dec 6, 2025Updated 6 months ago
- Create immutable infrastructure with IaC technologies at AWS with Terraform and Serverless Framework ☁️ The main services used are Dynamo…☆10Jan 3, 2021Updated 5 years ago
- a libp2p-backed daemon wrapping the functionalities of go-libp2p for use in other languages☆11Feb 9, 2025Updated last year
- A set of tools and libraries for automatically generating and initiating sandboxes for Rust programs☆15Oct 24, 2022Updated 3 years ago
- Compile programs to Ambients☆13May 7, 2021Updated 5 years ago
- Experimental framework taking inspiration from biological systems, combining compression-based architectures, group theory, and symmetry …☆14Nov 13, 2025Updated 6 months ago