Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for haskell type theory
haskell
x
type-theory
x
21 search results found
Write You A Haskell
⭐
2,744
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
Agda
⭐
2,281
Agda is a dependently typed programming language / interactive theorem prover.
Cubicaltt
⭐
547
Experimental implementation of Cubical Type Theory
Peridot
⭐
388
A fast functional language based on two level type theory
Ditto
⭐
130
A Super Kawaii Dependently Typed Programming Language
Path
⭐
79
A lambda calculus to explore type-directed program synthesis.
Type Theory Compiler
⭐
38
Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficient LLVM IR.
Peppermint Prover
⭐
35
Experimental proof assistant (and architecture) for dependent linear logic
Menkar
⭐
32
The multimode presheaf proof-assistant
Lplzoo
⭐
31
Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck
Tt Ghc Exercises
⭐
25
Ttie
⭐
24
Type Theory with Indexed Equality
Manifold
⭐
18
Another experiment in dependently typed languages, this time with some quantitative type theory smooshed in.
Tt Reflection
⭐
13
An experimental type theory with scoped equality reflection, and non-arbitrary proof search. This is basically a pared down version of Andromeda/Brazil, but with untyped reduction and a more Nuprl-like feel. Computational content of proofs is got via a realizability-based extraction. (Note: substitution is unsafe here, not because of a problem with the theory, but because I didn't understand how Bound works sadly.)
Bathtime
⭐
11
being an experiment with universes and time
Bramble
⭐
11
dependently-typed lisp with flexible compiler backends
Direct Reflection For Free
⭐
8
using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell
Iotatt
⭐
7
A PTS Supporting Induction
Sit
⭐
6
Prototypical type checker for Type Theory with Sized Natural Numbers
Ttyped
⭐
6
A simple dependently typed language based on the Calculus of Constructions.
Mini Yu
⭐
5
A dependently typed programming language prototype
Related Searches
Haskell Ghc (1,289)
Types Haskell (1,026)
Language Haskell (853)
Haskell Functional Programming (793)
Haskell Monad (681)
Haskell Hackage (574)
Haskell Stack (554)
Haskell Programming (549)
Haskell Bindings (444)
Javascript Haskell (398)
1-21 of 21 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.