Awesome Open Source

Programming Languages

Search results for calculus type theory

11 search results found

Programming Language Theory λΠ

A lambda calculus to explore type-directed program synthesis.

Minitt Rs ⭐ 68

Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust

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!

Type Theory ⭐ 27

Typed λ-calculus in Rust

Linearml ⭐ 22

A simple implementation of linear type theory

Tt In Cagda ⭐ 17

Simply typed lambda calculus in cubical agda

A simple dependently typed language based on the Calculus of Constructions.

Related Searches

Lambda Functions Calculus (381)

Haskell Calculus (196)

Python Calculus (176)

Mathematics Calculus (170)

Types Type Theory (84)

Language Calculus (82)

Types Calculus (77)

Java Calculus (66)

Agda Type Theory (43)

Programming Language Calculus (40)

1-11 of 11 search results

Privacy | About | Terms | Follow Us On Twitter

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