Top 8 Haskell Copilot Projects
-
[2] https://github.com/Copilot-Language/copilot/releases/tag/v3.16
-
-
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-core
Intermediate representation for CoPilot. Strictly follows Haskell 2010 except for universal and existential quantification.
-
-
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.
-
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 |