Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Haskell Dependent Types Open Source Projects

Open source projects categorized as Haskell Dependent Types
Categories > Programming Languages > Dependent Types
Agda ⭐ 2,281
Agda is a dependently typed programming language / interactive theorem prover.
total releases 40most recent commit 3 months ago
Peridot ⭐ 388
A fast functional language based on two level type theory
most recent commit a year ago
Mezzo ⭐ 315
A Haskell library for typesafe music composition
total releases 6most recent commit 5 years ago
Cedille ⭐ 305
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
most recent commit 3 years ago
Dth ⭐ 286
Examples of Dependently-typed programs in Haskell
most recent commit 2 years ago
Singletons ⭐ 279
Fake dependent types in Haskell using singletons
total releases 34most recent commit 6 months ago
Awesome Idris ⭐ 262
𝛌 Awesome Idris resources
most recent commit 4 years ago
Ditto ⭐ 130
A Super Kawaii Dependently Typed Programming Language
most recent commit 6 years ago
Idris Cil ⭐ 125
A Common Intermediate Language backend for Idris.
most recent commit 5 years ago
Tensor Safe ⭐ 96
A Haskell framework to define valid deep learning models and export them to other frameworks like TensorFlow JS or Keras.
most recent commit 3 years ago
Lambdapi ⭐ 86
Dependently Typed Lambda Calculus in Haskell
most recent commit 3 years ago
First Class Families ⭐ 76
First-class type families
total releases 10most recent commit 2 years ago
Nano Agda ⭐ 64
Tiny type-checker with dependent types
most recent commit 10 years ago
Corespec ⭐ 64
A Specification for Dependent Types in Haskell (Core)
most recent commit 2 years ago
Owo ⭐ 61
Placeholder for the OwO compiler
most recent commit 5 years ago
Why Dependent Types Matter ⭐ 61
Companion code for "Why Dependent Types Matter" paper.
most recent commit 6 years ago
Learn Me A Haskell ⭐ 56
Trying to get back all the stuff I had in JavaScript.
most recent commit 6 years ago
Tensorflow Haskell Deptyped ⭐ 39
Reexporting TensorFlow Haskell with dependent typed functions
most recent commit 5 years ago
Howtoproveacompiler ⭐ 32
Writeup that goes along with this:
most recent commit 6 years ago
Convoluted ⭐ 27
Dependently typed convolutional neural networks
most recent commit 7 years ago
Curios ⭐ 27
Work-in-progress functional dependently typed programming language
most recent commit a year ago
Helf ⭐ 24
Haskell implementation of the Edinburgh Logical Framework
most recent commit 10 months ago
Cs43 ⭐ 22
Course materials for Stanford's CS43: Functional Programming Paradigms
most recent commit 4 years ago
The 8 Latest Releases In Haskell Dependent Types Open Source Projects
Agda ⭐ 2,281
Agda is a dependently typed programming language / interactive theorem prover.
total releases 40latest release November 30, 2023most recent commit 3 months ago
Ghc Typelits Presburger ⭐ 6
Presburger arithmetic solver for built-in type-level naturals
total releases 20latest release March 20, 2023most recent commit 4 months ago
Singletons ⭐ 279
Fake dependent types in Haskell using singletons
total releases 34latest release August 23, 2022most recent commit 6 months ago
First Class Families ⭐ 76
First-class type families
total releases 10latest release March 08, 2021most recent commit 2 years ago
Arity Generic Lifta ⭐ 7
Provides an arity-generic version of the liftA2, liftA3... liftAn functions
total releases 1latest release December 31, 2018most recent commit 5 years ago
Mezzo ⭐ 315
A Haskell library for typesafe music composition
total releases 6latest release October 09, 2017most recent commit 5 years ago
Type Indexed Queues ⭐ 7
Queues with verified and unverified versions
total releases 3latest release April 27, 2017most recent commit 7 years ago
Popular Programming Languages Categories
Python
Javascript
Java
Typescript
C Plus Plus
Php
Golang
C
C Sharp
Shell
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.