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. Learn more →
Top 3 Haskell proof-assistant Projects
-
Project mention: What are the current hot topics in type theory and static analysis? | reddit.com/r/ProgrammingLanguages | 2023-05-08
Most of the proof assistants out there: Lean, Coq, Dafny, Isabelle, F*, Idris 2, and Agda. And the main concepts are dependent types, Homotopy Type Theory AKA HoTT, and Category Theory. Warning: HoTT and Category Theory are really dense, you're going to really need to research them.
-
-
ONLYOFFICE
ONLYOFFICE Docs — document collaboration in your environment. Powerful document editing and collaboration in your app or environment. Ultimate security, API and 30+ ready connectors, SaaS or on-premises
-
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-05-08.
Haskell proof-assistant related posts
- What are the current hot topics in type theory and static analysis?
- Amendmend proposal: Changed syntax for Or patterns
- Functional Programming and Maths <|> How can a code monkey learn Agda?
- Doom emacs and agda-mode
- FP language idea - would this is possible to infer and type check?
- Best Programming Language for Computational Proof
- Haskell is the greatest programming language of all time ... the rational adult in a room full of children ... When I program in Haskell, I am in utopia. I am in a different world than 99.9% of what I see posted on Reddit.
-
A note from our sponsor - SonarQube
www.sonarqube.org | 1 Jun 2023
Index
What are some of the best open-source proof-assistant projects in Haskell? This list will help you:
| Project | Stars | |
|---|---|---|
| 1 | Agda | 2,113 |
| 2 | type-natural | 33 |
| 3 | hout | 19 |
Access the most powerful time series database as a service
Ingest, store, & analyze all types of time series data in a fully-managed, purpose-built database. Keep data forever with low-cost storage and superior data compression.
www.influxdata.com