Haskell Copilot

Open-source Haskell projects categorized as Copilot

Top 8 Haskell Copilot Projects

  • copilot

    A stream-based runtime-verification framework for generating hard real-time C code.

    Project mention: [ANN] Copilot 3.16 | /r/haskell | 2023-07-08

    [2] https://github.com/Copilot-Language/copilot/releases/tag/v3.16

  • copilot

    A (Haskell DSL) stream language for generating hard real-time C code. (by leepike)

  • Mergify

    Tired of breaking your main and manually rebasing outdated pull requests?. Managing outdated pull requests is time-consuming. Mergify's Merge Queue automates your pull request management & merging. It's fully integrated to GitHub & coordinated with any CI. Start focusing on code. Try Mergify for free.

  • copilot-language

  • copilot-sbv

    SBV backend for Copilot.

  • copilot-cbmc

    cbmc based tool for verifying copilot programs

  • copilot-core

    Intermediate representation for CoPilot. Strictly follows Haskell 2010 except for universal and existential quantification.

  • copilot-libraries

    Copilot libraries that use the Copilot language

  • InfluxDB

    Collect and Analyze Billions of Data Points in Real Time. Manage all types of time series data in a single, purpose-built database. Run at any scale in any environment in the cloud, on-premises, or at the edge.

  • copilot-c99

    A C99-backend for Copilot

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020). The latest post mention was on 2023-07-08.

Index

What are some of the best open-source Copilot projects in Haskell? This list will help you:

Project Stars
1 copilot 515
2 copilot 144
3 copilot-language 9
4 copilot-sbv 5
5 copilot-cbmc 4
6 copilot-core 2
7 copilot-libraries 2
8 copilot-c99 2
Static code analysis for 29 languages.
Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.
www.sonarqube.org