Stars
7
Forks
3
Language
Haskell
Last Updated
Aug 02, 2017
Similar Repos
| Repo | Language | Stars | Description | Updated At |
|---|---|---|---|---|
| Haskell | 19 | A language with dependent types | Jun 23, 2020 | |
| Idris | 3 | Dependent Types research in the Idris language | Feb 01, 2021 | |
| Idris | 7 | Experiments with dependent modal types | Sep 13, 2019 | |
| TeX | 110 | Staged compilation with dependent types | Mar 07, 2023 | |
| Haskell | 13 | Label dependent dependent session types | Jul 19, 2022 | |
| TeX | 3 | A LUG Talk about Idris, a general purpose language with dependent types. | Jul 30, 2022 | |
| Idris | 40 | Accelerated machine learning with dependent types | May 10, 2023 | |
| Haskell | 73 | Tiny type-checker with dependent types | Mar 16, 2023 | |
| Swift | 40 | An experimental functional programming language with dependent types, inspired by Swift and Idris. | Apr 13, 2022 | |
| JavaScript | 64 | A minimal pure functional language based on self dependent types. | Mar 24, 2023 | |
| Coq | 3 | messing around with "Certified Programming with Dependent Types" | Mar 02, 2023 | |
| Idris | 5 | TicTacToe using dependent types | Feb 24, 2020 | |
| C++ | 3 | Berry is a verifiable, multi-paradigm programming language using dependent types. | Feb 22, 2022 | |
| Haskell | 4 | trying to grok dependent types | May 26, 2021 | |
| Haskell | 10 | Haskell routes using dependent types | Dec 12, 2020 | |
| Haskell | 19 | Educational implementation of dependent types | Oct 21, 2021 | |
| Idris | 9 | Verified networking using dependent types | Sep 02, 2021 | |
| Haskell | 2 | Modeling state machine with dependent types - code for post | Nov 13, 2022 | |
| Coq | 5 | Dependent Object Types (DOT), bottom up | Jan 10, 2019 | |
| Coq | 74 | Dependent Object Types (DOT), bottom up | Mar 20, 2023 | |
| Idris | 13 | A translation of Certified Programming with Dependent Types to Idris. | Aug 24, 2017 | |
| OCaml | 7 | A termination checker for higher-order rewriting with dependent types | Jan 12, 2022 | |
| Haskell | 263 | Fake dependent types in Haskell using singletons | Jul 17, 2022 | |
| OCaml | 30 | Linear Dependent Types for Differential Privacy TypeChecker | Apr 19, 2023 | |
| Haskell | 3 | A reference copy of PiSigma: dependent types with without the sugar | Jul 31, 2022 | |
| Lean | 10 | Lean implementations of things found in Certified Programming with Dependent Types | Jan 04, 2023 | |
| Haskell | 3 | A language with linear types | Dec 08, 2019 | |
| Coq | 64 | A Specification for Dependent Types in Haskell (Core) | Mar 02, 2023 | |
| None | 147 | formalization of the Dependent Object Types (DOT) calculus | May 05, 2023 | |
| None | 4 | functional type-dependent (very simple) language | Feb 03, 2023 | |
| Idris | 9 | Concurrent IO language with Uniqueness Types | Feb 24, 2020 | |
| OCaml | 3 | Caml-like language with linear types | Jun 13, 2013 | |
| TeX | 8 | LaTeX source for Sized Dependent Types via Extensional Type Theory | Apr 30, 2023 | |
| Scala | 4 | Personal notes taken from the course ThCS. Introduction to programming with dependent types in Scala. | Feb 04, 2022 | |
| Java | 10 | Java-like Language with Static Information Flow Types | Feb 25, 2023 | |
| C++ | 5 | Rewrite of Impala using dependent types and a PTS. Builds upon Thorin2. | Feb 09, 2022 | |
| Idris | 1807 | A purely functional programming language with first class types | Sep 02, 2022 | |
| Idris | 53 | A purely functional programming language with first class types | Jun 04, 2022 | |
| Java | 26 | Distributed persistent programming language with secure information flow types | Feb 26, 2023 | |
| PHP | 14 | Extends PHP language with basic data types and reflection | Aug 25, 2021 | |
| OCaml | 631 | Systems language with linear types and capability-based security. | May 06, 2023 | |
| Coq | 2 | In this repository I present a Coq developement of extensive games using dependent types, together … | Oct 14, 2023 | |
| Shell | 4 | MemTestPkg superproject with dependent packages | Jan 24, 2020 | |
| TypeScript | 5 | Convert between language server types and Monaco editor types | Mar 01, 2023 | |
| Agda | 12 | College assignment writing in which I ramble about type classes and dependent types. | Oct 25, 2022 | |
| Scala | 7 | Prototype functional programming language with refinement types, powered by Inox | Jul 17, 2020 | |
| Haskell | 45 | A tiny language for teaching and experimenting with Refinement Types | Jan 29, 2023 | |
| Haskell | 4 | A purely functional programming language with support for substructural types. | Apr 16, 2023 | |
| None | 2 | JavaScript with types. A toy language aimed at personal scripting | Dec 26, 2023 | |
| OCaml | 7 | Minimal core language based on dependent function type, dependent pair type, recursive type, sum type … | Feb 19, 2023 |