A collection of example modules for the Coco Programming Language
☆15Oct 1, 2025Updated last year
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 8 years ago
- ☆20Sep 21, 2026Updated last month
- ☆21Updated this week
- A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.☆31Oct 16, 2026Updated 2 weeks ago
- Official code for "Interpretable Language Modeling via Induction-head Ngram Models"☆13Oct 23, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A project bringing ethics back to AI☆11Aug 7, 2023Updated 3 years ago
- Excel to json so easily, read from local source or remote source☆14Oct 14, 2026Updated 2 weeks ago
- ☆10Mar 20, 2023Updated 3 years ago
- ai-i18n is a GitHub Action that translates your app's i18n files using LLMs. It extracts strings, translates only what's changed, and com…☆19Aug 19, 2026Updated 2 months ago
- For training accurate models on synthetic SAR data☆12Jan 20, 2021Updated 5 years ago
- Training neural networks to disentangle conservative and dissipative dynamics☆14Jan 27, 2022Updated 4 years ago
- ☆15May 18, 2026Updated 5 months ago
- ☆15Jul 21, 2019Updated 7 years ago
- Public SDK, CLI, and docs for Hive Intelligence: crypto MCP access for AI agents.☆20Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- MoCHi: Model Checker for Higher-Order Programs☆43Apr 19, 2025Updated last year
- Code for the paper: Towards Better Understanding Attribution Methods. CVPR 2022.☆16Jun 13, 2022Updated 4 years ago
- Towards autonomous quantum physics research using LLM agents with access to intelligent tools☆19Jul 26, 2026Updated 3 months ago
- A python package to extract historical market data of cryptocurrencies and to calculate technical price indicators.☆18Oct 17, 2023Updated 3 years ago
- Tutorial em etapas para desenvolvimento de smart contracts em rust☆18Sep 14, 2022Updated 4 years ago
- HyPro: A C++ state set representation library for the analysis of hybrid systems☆40Oct 22, 2026Updated last week
- 🧬 Self-optimizing vector database using MAP-Elites. 51x faster than ChromaDB, 82x faster than LanceDB, 100% recall. Auto-evolves optimal…☆22Jan 23, 2026Updated 9 months ago
- ☆21Sep 22, 2022Updated 4 years ago
- Best Accruacy:speed ratio SAR Ship detection in the world.☆19May 3, 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.
- An ICE-based predicate synthesizer for Horn clauses.☆54Oct 13, 2026Updated 2 weeks ago
- a fast detection algorithm for sar images☆20Nov 12, 2019Updated 6 years ago
- AI-powered productivity Chrome extension☆20Feb 22, 2025Updated last year
- Bespoke agent-to-agent discovery and communication protocol☆27Aug 17, 2026Updated 2 months ago
- Solving Beamforming problem using reinforcement learning between Base station and UAV☆27Jan 24, 2020Updated 6 years ago
- AWS Encryption SDK☆68Updated this week
- solver for the reachability modulo theories problem☆64Aug 11, 2026Updated 2 months ago
- ☆62May 28, 2024Updated 2 years ago
- CNF generator in DIMACS format. It produces common families of CNFs.☆75Jul 23, 2026Updated 3 months 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.
- RustHorn: A CHC-based automated verifier for Rust☆91Mar 14, 2025Updated last year
- Lurch is an Ethereum VM para-virtualization (ish) written in EVM bytecode.☆83Apr 1, 2020Updated 6 years ago
- Adversarial attack to detectors☆46Oct 23, 2021Updated 5 years ago
- Tutorials and courses for Z3☆128Updated this week
- ☆43Oct 19, 2023Updated 3 years ago
- The Eldarica model checker☆111Oct 25, 2026Updated last week
- A Solana program debugger☆65Mar 15, 2023Updated 3 years ago