Powerful document editing and collaboration in your app or environment. Ultimate security, API and 30+ ready connectors, SaaS or on-premises Learn more →
Top 21 Haskell Dependent Type 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.
-
Project mention: Is it possible to create singleton types for datatype wrapping String/Text? | reddit.com/r/haskell | 2022-07-06
-
CodiumAI
TestGPT | Generating meaningful tests for busy devs. Get non-trivial tests (and trivial, too!) suggested right inside your IDE, so you can code smart, create more value, and stay confident when you push.
-
-
tensor-safe
A Haskell framework to define valid deep learning models and export them to other frameworks like TensorFlow JS or Keras.
-
First class families is the approach I'm familiar with, although it can feel a bit heavy-handed. There's a chapter in Thinking with Types about how to use fcf.
-
-
-
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
-
-
-
-
-
-
-
-
agda-snippets
Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.
-
-
-
-
-
-
-
SonarQube
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.
Haskell Dependent Types related posts
- What are the current hot topics in type theory and static analysis?
- Amendmend proposal: Changed syntax for Or patterns
- Foldr type level implementation
- 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
-
A note from our sponsor - ONLYOFFICE
www.onlyoffice.com | 27 May 2023
Index
What are some of the best open-source Dependent Type projects in Haskell? This list will help you:
Project | Stars | |
---|---|---|
1 | Agda | 2,108 |
2 | singletons | 280 |
3 | cubical | 137 |
4 | tensor-safe | 98 |
5 | first-class-families | 82 |
6 | hoq | 79 |
7 | type-natural | 33 |
8 | eliminators | 28 |
9 | helf | 24 |
10 | lens-typelevel | 15 |
11 | agda2lagda | 13 |
12 | decidable | 12 |
13 | sized | 9 |
14 | agda-unused | 9 |
15 | agda-snippets | 8 |
16 | singletons-presburger | 7 |
17 | Sit | 6 |
18 | open-typerep | 4 |
19 | fcf-containers | 3 |
20 | instance-map | 2 |
21 | list-witnesses | 1 |