Awesome Open Source

Programming Languages

Search results for lambda calculus type theory

lambda-calculus x

8 search results found

A next-gen functional language

Write You A Haskell ⭐ 2,744

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

A lambda calculus to explore type-directed program synthesis.

Educational Proof Assistant for Type Theory

Type Theory Compiler ⭐ 38

Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficient LLVM IR.

Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck

Types And Programming Languages ⭐ 27

Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!

Tt In Cagda ⭐ 17

Simply typed lambda calculus in cubical agda

Related Searches

Haskell Lambda Calculus (136)

Types Type Theory (84)

Functional Programming Lambda Calculus (76)

Types Lambda Calculus (52)

Language Lambda Calculus (44)

Agda Type Theory (43)

Programming Language Lambda Calculus (37)

Haskell Type Theory (31)

Coq Type Theory (31)

Dependent Types Type Theory (28)

1-8 of 8 search results

Privacy | About | Terms | Follow Us On Twitter

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