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
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.
Fake dependent types in Haskell using singletonsProject mention: Is it possible to create singleton types for datatype wrapping String/Text? | reddit.com/r/haskell | 2022-07-06
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.
Implementation of Univalence in Cubical Sets (by simhu)
A Haskell framework to define valid deep learning models and export them to other frameworks like TensorFlow JS or Keras.
First-class type familiesProject mention: Foldr type level implementation | reddit.com/r/haskellquestions | 2023-03-30
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.
A language based on homotopy type theory with an interval
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
Dependently typed elimination functions using singletons
Haskell implementation of the Edinburgh Logical Framework
Type-level lenses using singletons because why not
Simple conversion from Agda text to literate Agda text.
Combinators for manipulating dependently-typed predicates.
Sized sequence data-types
Check for unused code in an Agda project.
Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.
Presburger arithmetic solver for built-in type-level naturals
Prototypical type checker for Type Theory with Sized Natural Numbers (by andreasabel)
Open type representations and dynamic typesProject mention: Extensible ASTs with extensible types | reddit.com/r/haskell | 2022-12-28
fcf-containers add tools that can be used with first-class-families
Haskell dependent types the ugly and brute force way
Inductive dependently-typed witnesses for working with type-level lists.
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?
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
Foldr type level implementation
2 projects | reddit.com/r/haskellquestions | 30 Mar 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
A note from our sponsor - ONLYOFFICE
www.onlyoffice.com | 27 May 2023
What are some of the best open-source Dependent Type projects in Haskell? This list will help you: