Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for types lambda calculus
lambda-calculus
x
types
x
9 search results found
Write You A Haskell
⭐
2,744
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
Curryhoward
⭐
232
Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
Glambda
⭐
168
The home of the Glamorous Glambda interpreter
Path
⭐
79
A lambda calculus to explore type-directed program synthesis.
Salt
⭐
55
The compilation target that functional programmers always wanted.
Pts
⭐
41
implementation of Pure Type Systems (PTS) in Rust.
Zion
⭐
39
A statically-typed strictly-evaluated garbage-collected readable programming language.
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
Types And Programming Languages
⭐
27
Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
Purescript Type Lang
⭐
19
Lambda calculus at the type level.
Algorithmw Rust
⭐
17
A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.
Universe Of Syntax
⭐
14
A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with all the proofs you could possibly need.
Tapl
⭐
10
Types and Programming Languages (TAPL)
Funq
⭐
10
Functional Quantum Programming
Elara
⭐
9
Elara is a purely-functional programming language targetting the JVM
Lambdalab
⭐
8
interactive λ-calculus for learning
Glam
⭐
8
The guarded λ-calculus
Elm Stlc
⭐
7
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)
Nbe A Tutorial
⭐
6
Checking Dependent Types with Normalization by Evaluation
Systemt
⭐
6
👨💻 Implementing System T in Haskell 👨💻
Lambdacalculusinterpreters
⭐
6
Two interpreters for the lambda calculus: one simple and one with typing of ints, bools, and pairs.
Tapl Re
⭐
6
Types and programming languages in reason
Ulc
⭐
5
(un)Typed Lambda Calculus beta-reducer/type checker implemented in Rust.
Husky
⭐
5
🐺 Husky is a lazy functional language similar to Haskell, but with a more conventional syntax
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-9 of 9 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.