A collection of example modules for the Coco Programming Language
☆14Oct 1, 2025Updated 6 months ago
Alternatives and similar repositories for cocolang-examples
Users that are interested in cocolang-examples are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A model checker and assume/guarantee contract generator for Lustre programs.☆15Jun 5, 2018Updated 7 years ago
- ☆22Feb 1, 2025Updated last year
- A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.☆30Apr 8, 2026Updated last week
- Enrich IP addresses with metadata and threat intelligence indicators.☆24Aug 12, 2023Updated 2 years ago
- Chroma DB GUI Python GUI Client - Full Management and Visualisations☆38Jan 5, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral redu…☆30Jun 30, 2025Updated 9 months ago
- Claim $ARB airdrop across multiple wallets and send to a single address☆21Mar 23, 2023Updated 3 years ago
- ☆15Jul 21, 2019Updated 6 years ago
- MoCHi: Model Checker for Higher-Order Programs☆43Apr 19, 2025Updated last year
- 🎟️ EventChain – Blockchain Ticketing System (PoC) A personal project exploring secure and transparent event ticketing using NFTs on the …☆17Jun 21, 2025Updated 9 months ago
- Enterprise Development Memory☆72Mar 3, 2026Updated last month
- Set any custom speed(s) in Udemy's video player.☆14Jul 24, 2025Updated 8 months ago
- Tutorial em etapas para desenvolvimento de smart contracts em rust☆18Sep 14, 2022Updated 3 years ago
- Guide for engineers interested in NLP machine learning☆19Aug 3, 2020Updated 5 years 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.
- CBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, making it easy to root cause the issues it finds.☆35Mar 1, 2026Updated last month
- The Solana complex systems simulator.☆17Feb 7, 2022Updated 4 years ago
- Core components for the Scribble Java tools☆59Oct 3, 2024Updated last year
- A wrapper around the SGP4 package, for sat TLE calculations☆25Feb 2, 2025Updated last year
- a fast detection algorithm for sar images☆20Nov 12, 2019Updated 6 years ago
- Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations☆55Mar 21, 2026Updated 3 weeks ago
- ☆21Sep 22, 2022Updated 3 years ago
- The trend analysis engine for a specific keyword of Twitter by using a graphical chart and geographical chart.☆22Jan 12, 2023Updated 3 years ago
- Best Accruacy:speed ratio SAR Ship detection in the world.☆19May 3, 2020Updated 5 years 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.
- Implementation of Bidirectional Recurrent Independent Mechanisms (Learning to Combine Top-Down and Bottom-Up Signals in Recurrent Neural …☆28Nov 11, 2020Updated 5 years ago
- AWS Encryption SDK☆61Apr 10, 2026Updated last week
- Repository for Numer.ai guides☆26Nov 19, 2023Updated 2 years ago
- Implementations for training deep quantum neural networks in Mathematica and MATLAB.☆25Nov 23, 2019Updated 6 years ago
- An ICE-based predicate synthesizer for Horn clauses.☆53Oct 31, 2025Updated 5 months ago
- A simple implementation of the Quantum Support Vector Machine, using Qiskit.☆22Sep 22, 2020Updated 5 years ago
- Unity3D VR Framework.☆28Dec 8, 2019Updated 6 years ago
- Matlab implementation of ship detection algorithms in synthetic aperture radar images☆26Feb 1, 2018Updated 8 years ago
- A Google Summer of Code 2021 Project Repository. This project aims to demonstrate quantum machine learning's potential, specifically Quan…☆34Oct 23, 2024Updated last year
- 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.
- solver for the reachability modulo theories problem☆63Mar 8, 2026Updated last month
- English version☆459Dec 5, 2023Updated 2 years ago
- Official Repository for the CVPR 2020 AdvML Workshop paper "Role of Spatial Context in Adversarial Robustness for Object Detection"☆36Jun 23, 2020Updated 5 years ago
- ☆62May 28, 2024Updated last year
- RustHorn: A CHC-based automated verifier for Rust☆89Mar 14, 2025Updated last year
- ☆37Feb 9, 2026Updated 2 months ago
- A repository for finishing my undergraduate thesis titled: Quantum Image Classifier Design with Data Re-uploading Quantum Convolution and…☆34Nov 5, 2022Updated 3 years ago