Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for programming language lambda calculus
lambda-calculus
x
programming-language
x
23 search results found
Plam
⭐
441
An interpreter for learning and exploring pure λ-calculus
Cedille
⭐
305
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
Cognate
⭐
196
A human readable quasi-concatenative programming language
Awesome Functional Studies
⭐
143
A curated list of functional programming resources to study the fp paradigm
Lambdapi
⭐
86
Dependently Typed Lambda Calculus in Haskell
Vanilla Lang
⭐
73
An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types
Birb
⭐
70
🐦 Programming language that only consists of bird emojis
Lambda Zero
⭐
67
minimalist pure lazy functional programming language (pythonic haskell)
Bruijn
⭐
60
🧮 Programming with pure lambda calculus
Rlci
⭐
54
🦀 λ Overly-documented Rust-powered Lambda Calculus Interpreter.
Cs704
⭐
52
CS 704 course website - Principles of Programming Languages
Lfvm Stg
⭐
45
Map lazy functional language constructs to LLVM IR
Moniker
⭐
42
Automagical variable binding library for Rust
Zion
⭐
39
A statically-typed strictly-evaluated garbage-collected readable programming language.
Formality Core
⭐
35
Specification of the Formality proof and programming language
Krivine Machine
⭐
29
Abstract krivine machine implementing call-by-name semantics. In OCaml.
Types And Programming Languages
⭐
27
Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
Ats Blockchain
⭐
19
⛓️ Blockchain + Smart contracts from scratch
Funq
⭐
10
Functional Quantum Programming
Compilers
⭐
10
A place for me to learn/ experiment with interpreters/compilers
Tapl
⭐
10
Types and Programming Languages (TAPL)
Dblib Linear
⭐
10
Formalisation of the linear lambda calculus in Coq
Elara
⭐
9
Elara is a purely-functional programming language targetting the JVM
Metalambda
⭐
8
Lambda M
⭐
8
A lazy and untyped experimental programming language
Lambdacalculusinterpreters
⭐
6
Two interpreters for the lambda calculus: one simple and one with typing of ints, bools, and pairs.
Systemt
⭐
6
👨💻 Implementing System T in Haskell 👨💻
Lambdaq
⭐
6
lambdaQ - a functional quantum programming language.
Projectlambda
⭐
5
A calculator / programming language based on lambda calculus. 基于 Lambda 演算的简易编程语言。
Related Searches
C Plus Plus Programming Language (830)
Python Programming Language (779)
C Programming Language (667)
Javascript Programming Language (590)
Java Programming Language (544)
Rust Programming Language (365)
Haskell Programming Language (270)
Programming Language Llvm (163)
Types Programming Language (161)
Lisp Programming Language (157)
1-23 of 23 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.