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
Agda is a dependently typed programming language / interactive theorem prover.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.
Type-level well-kinded natural numbers.
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
A non-interactive proof assistant using the Haskell type system
Haskell proof-assistant related posts
What are the current hot topics in type theory and static analysis?
15 projects | reddit.com/r/ProgrammingLanguages | 8 May 2023
Amendmend proposal: Changed syntax for Or patterns
2 projects | reddit.com/r/haskell | 14 Apr 2023
Functional Programming and Maths <|> How can a code monkey learn Agda?
1 project | reddit.com/r/functionalprogramming | 26 Mar 2023
Doom emacs and agda-mode
2 projects | reddit.com/r/emacs | 22 Mar 2023
FP language idea - would this is possible to infer and type check?
1 project | reddit.com/r/haskell | 26 Jan 2023
Best Programming Language for Computational Proof
3 projects | reddit.com/r/math | 21 Jan 2023
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.
2 projects | reddit.com/r/programmingcirclejerk | 2 Nov 2022
A note from our sponsor - SonarQube
www.sonarqube.org | 1 Jun 2023
What are some of the best open-source proof-assistant projects in Haskell? This list will help you: