Awesome Open Source

Programming Languages

Search results for types calculus

18 search results found

Programming Language Theory λΠ

Haskell Resources ⭐ 824

A List of Foundational Haskell Papers

Type Inference ⭐ 295

The Hindley Milner Type Inference Algorithm

Glambda ⭐ 168

The home of the Glamorous Glambda interpreter

formalization of the Dependent Object Types (DOT) calculus

Typeandproof ⭐ 83

https://openpal.github.io/TypeAndProof/

A lambda calculus to explore type-directed program synthesis.

Minitt Rs ⭐ 68

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

Nano Agda ⭐ 64

Tiny type-checker with dependent types

Dependent Object Types (DOT), bottom up

Dot Calculus ⭐ 59

Formalization of the Dependent Object Types (DOT) calculus

[Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions.

Coq In Coq ⭐ 49

A formalisation of the Calculus of Constructions

implementation of Pure Type Systems (PTS) in Rust.

Type Theory Compiler ⭐ 38

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

Lambda Scala ⭐ 32

Type level lambda calculus in Scala

Typesandproofs ⭐ 28

Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems

Types And Programming Languages ⭐ 27

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

Type Theory ⭐ 27

Typed λ-calculus in Rust

ET (IPL) language interpreters and literature

Magic In Ten Mins Cpp ⭐ 24

B522 Pl Foundations ⭐ 20

Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University

Lamdu Calculus ⭐ 19

An extended typed Lambda Calculus

Purescript Type Lang ⭐ 19

Lambda calculus at the type level.

Join Language ⭐ 17

Haskell Join-calculus DSL

"operating system" based on the calculus of constructions

A mechanized proof of type safety for Featherweight Java using Coq

Modal Types ⭐ 13

Experiments with modal types

MiGo types library in Go

Types and Programming Languages (TAPL)

Notes from my research for forest-lang

The guarded λ-calculus

System FR: Formalized Foundations for Stainless

Lambdalab ⭐ 8

interactive λ-calculus for learning

Bidirectional type checker for the simply typed lambda calculus

Haskell Holes Th ⭐ 7

TIP solver for simply typed lambda calculus. Can automatically infer code from type definitions. (TemplateHaskell)

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

Lambdacalculusinterpreters ⭐ 6

Two interpreters for the lambda calculus: one simple and one with typing of ints, bools, and pairs.

Types and programming languages in reason

(un)Typed Lambda Calculus beta-reducer/type checker implemented in Rust.

Related Searches

Javascript Types (8,178)

Typescript Types (2,606)

Python Types (2,536)

Php Types (1,921)

Java Types (1,598)

C Plus Plus Types (1,282)

Golang Types (1,257)

C Sharp Types (1,177)

Plugin Types (1,152)

Json Types (1,128)

1-18 of 18 search results

Privacy | About | Terms | Follow Us On Twitter

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