Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for haskell dependent types
dependent-types
x
haskell
x
42 search results found
Agda
⭐
2,281
Agda is a dependently typed programming language / interactive theorem prover.
Peridot
⭐
388
A fast functional language based on two level type theory
Mezzo
⭐
315
A Haskell library for typesafe music composition
Cedille
⭐
305
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
Dth
⭐
286
Examples of Dependently-typed programs in Haskell
Singletons
⭐
279
Fake dependent types in Haskell using singletons
Awesome Idris
⭐
262
𝛌 Awesome Idris resources
Ditto
⭐
130
A Super Kawaii Dependently Typed Programming Language
Idris Cil
⭐
125
A Common Intermediate Language backend for Idris.
Tensor Safe
⭐
96
A Haskell framework to define valid deep learning models and export them to other frameworks like TensorFlow JS or Keras.
Lambdapi
⭐
86
Dependently Typed Lambda Calculus in Haskell
First Class Families
⭐
76
First-class type families
Nano Agda
⭐
64
Tiny type-checker with dependent types
Corespec
⭐
64
A Specification for Dependent Types in Haskell (Core)
Owo
⭐
61
Placeholder for the OwO compiler
Why Dependent Types Matter
⭐
61
Companion code for "Why Dependent Types Matter" paper.
Learn Me A Haskell
⭐
56
Trying to get back all the stuff I had in JavaScript.
Tensorflow Haskell Deptyped
⭐
39
Reexporting TensorFlow Haskell with dependent typed functions
Howtoproveacompiler
⭐
32
Writeup that goes along with this:
Convoluted
⭐
27
Dependently typed convolutional neural networks
Curios
⭐
27
Work-in-progress functional dependently typed programming language
Helf
⭐
24
Haskell implementation of the Edinburgh Logical Framework
Cs43
⭐
22
Course materials for Stanford's CS43: Functional Programming Paradigms
Tog
⭐
20
Idris Elba Dev
⭐
12
A Whitespace-Based Dependently Typed Functional Programming Language
Bramble
⭐
11
dependently-typed lisp with flexible compiler backends
Lambda Pi Constraint
⭐
10
Depc
⭐
10
Simple Dependent Type Checker
Tilec
⭐
9
Sometimes when I feel sad I implement a dependently typed lambda calculus.
Vstyle
⭐
7
A style guide for Coq
Teenytt
⭐
7
A Teeny Type Theory
Iotatt
⭐
7
A PTS Supporting Induction
Arity Generic Lifta
⭐
7
Provides an arity-generic version of the liftA2, liftA3... liftAn functions
Type Indexed Queues
⭐
7
Queues with verified and unverified versions
Smokehill
⭐
7
Ghc Typelits Presburger
⭐
6
Presburger arithmetic solver for built-in type-level naturals
Misc
⭐
6
Misc playground and random stuff
Convex
⭐
6
Convex Optimization using Dependent Types and Matrix Free Formulations
Grace
⭐
5
A gradually-typed garbage-collected WebAssembly language
Dep Typed Wbl Heaps Hs
⭐
5
Weight-biased Leftist Heaps verified in Haskell using dependent types
Mini Yu
⭐
5
A dependently typed programming language prototype
Poberezkin.com
⭐
5
My blog
Related Searches
Haskell Ghc (1,289)
Types Haskell (1,028)
Language Haskell (853)
Haskell Functional Programming (811)
Haskell Monad (681)
Haskell Hackage (574)
Haskell Stack (554)
Haskell Programming (549)
Haskell Bindings (444)
Javascript Haskell (398)
1-42 of 42 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.