Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for lambda functions calculus
calculus
x
lambda-functions
x
2 search results found
Haskell Resources
⭐
824
A List of Foundational Haskell Papers
Cedille
⭐
305
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
Lambda Talk
⭐
246
A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS
Elsa
⭐
172
Elsa is a lambda calculus evaluator
Glambda
⭐
168
The home of the Glamorous Glambda interpreter
Book Reviews
⭐
137
Purescript Purview
⭐
107
A UI library based on the incremental lambda calculus
Eole
⭐
92
Éole, a Lévy-optimal lambda calculus evaluator without oracle
Lambdapi
⭐
86
Dependently Typed Lambda Calculus in Haskell
Lambda_calculus
⭐
85
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
Sheepda
⭐
79
A lambda calculus interpreter. GET IT?
Path
⭐
79
A lambda calculus to explore type-directed program synthesis.
Sel
⭐
72
A compiler for thin Symbolic Expressions abstraction layer over Lambda calculus.
Lalrpop Lambda
⭐
70
A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.
Malc
⭐
69
Make a lambda calculus.
Sasylf
⭐
67
Educational Proof Assistant for Type Theory
Lambda
⭐
65
Fun with λ calculus!
Lambda Calculus Visualizations
⭐
63
Catalog of visual lambda calculi
Grift
⭐
61
A compiler for the gradually typed lambda calculus
Study
⭐
60
Study of language design and implementation.
Lambda Machine
⭐
53
A simple UI for evaluating expressions in the untyped lambda calculus
B629 Denotational
⭐
52
Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University
Lambda Calculus
⭐
52
An introduction to the Lambda Calculus
Mikrokosmos
⭐
52
(λ) Educational lambda calculus interpreter
Cs704
⭐
52
CS 704 course website - Principles of Programming Languages
Lambda Explorer
⭐
52
Tutorial / REPL for the lambda calculus
Lambda Calculus
⭐
51
A Formalization of Typed and Untyped λ-Calculi in Coq and Agda2
Lci
⭐
50
A lambda calculus interpeter
System F Agda
⭐
44
A formalization of the polymorphic lambda calculus extended with iso-recursive types
Moniker
⭐
42
Automagical variable binding library for Rust
Lambda_fizz
⭐
42
The Classic FizzBuzz program implemented in pure Ruby-Flavored Lambda Calculus
Pts
⭐
41
implementation of Pure Type Systems (PTS) in Rust.
Lambdajs
⭐
40
An interpreter of Lambda calculus written in JavaScript and working with JavaScript syntax.
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
Lplzoo
⭐
31
Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck
Lambda
⭐
31
Macro Lambda Calculus
Python Lambda Calculus
⭐
29
Lambda Calculus things implemented on Python
Sequent Calc Talk
⭐
29
Code for the "Logic, machines and sequent calculus" talk
Code
⭐
29
Proof theory seminar
Byohc Workshop
⭐
27
BYOHC workshop 活動記錄
Deplambda
⭐
27
Types And Programming Languages
⭐
27
Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
Lunarflow
⭐
27
Lambda calculus go brrrr
Magic In Ten Mins Cpp
⭐
24
Typed Calc
⭐
24
Interpreter for simply typed lambda calculus implemented in JavaScript λ
Lambdacalculus
⭐
24
Scala implementation of a lambda calculus interpreter
Ctlc
⭐
23
(λ) Category theory and lambda calculus, Bachelor's thesis
Lightsabers
⭐
22
They contain so few lines of code, yet so few people get them right.
Agda Nbe
⭐
21
Formalizing nbe in agda
Lambda
⭐
21
A small λ-calculus interpreter in C
Lambda Calculus And Categories
⭐
21
A repository for the material of my course on lambda-calculus and categories
Lambda Php
⭐
21
Lambda calculus interpreter in PHP.
Lambda_chess
⭐
20
The game of chess and an AI opponent written in untyped lambda calculus... and it's a quine
B522 Pl Foundations
⭐
20
Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University
Purescript Type Lang
⭐
19
Lambda calculus at the type level.
Linlam
⭐
19
a library for experimental linear lambda calculus
Badlam
⭐
19
Lambda analysis package
Generic Ads
⭐
19
Generalized Authenticated Data Structures
Bohm1.1
⭐
18
Bologna Optimal Higher-Order Machine, Version 1.1
Es6 Lambda Calculus
⭐
18
Describing lambda-calculus using ES6 arrow notation
System F
⭐
18
Formalization of the polymorphic lambda calculus and its parametricity theorem
Tt In Cagda
⭐
17
Simply typed lambda calculus in cubical agda
Sylvia
⭐
15
🌲 Logic puzzle game based on the lambda calculus
Functional Guy
⭐
15
functional programming guild
Js Lambda
⭐
15
DSL for lambda calculus
Fizzbuzz
⭐
15
Reimplementing lambda calculus in Java 8 for fun and profit.
Computational Semantics
⭐
15
COGS 543 - Computational Semantics
Lambda Calculus Game
⭐
14
Tapl In Rust
⭐
13
Silly K
⭐
13
silly-k is an experimental hobby language inspired by K and APL
Untyped
⭐
13
Relational lambda calculus interpreter with clojure core.logic.
Magic
⭐
13
Intensional Computation
⭐
13
translations of a lambda abstraction to combinations of operators
Lambda
⭐
13
An untyped lambda calculus interpreter
Quinegraphs
⭐
13
Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).
Lambda_calculus
⭐
12
Chapter8_fp
⭐
12
Lambdacalculus Java
⭐
12
Lambda calculus implemented in Java
Lambda Coffee
⭐
11
A λ-calculus implementation in CoffeeScript
Calcula
⭐
11
Swift lambda calculus functions supporting intensional equality
Johann
⭐
10
Bayesian induction of programs, à la Solomonoff
Atlas
⭐
10
A Typeless Lambda cAlculus Simulator
Quantum
⭐
10
A lambda calculus for quantum computation
Px Lang
⭐
10
px is an experimental, typed lambda calculus for _
Lambda Pi Constraint
⭐
10
Tapl
⭐
10
Types and Programming Languages (TAPL)
Dblib Linear
⭐
10
Formalisation of the linear lambda calculus in Coq
Isabelle Lambda Calculus
⭐
9
A formal definition and verification of System F. To be extended to System Fc
Ski
⭐
9
SKI combinators
Screencasts
⭐
9
Typed Clojure screencasts
History Of Lambda Calculus
⭐
9
Survey on materials that touch on the history of Lambda Calculus
Tilec
⭐
9
Sometimes when I feel sad I implement a dependently typed lambda calculus.
Pylambdac
⭐
8
A lambda calculus interpreter in Python
G2q
⭐
8
GNU Guile to OpenQASM compiler. Program a quantum computer using Scheme.
Studyhaskell
⭐
8
Study Haskell in a group setting
Sublimelambdas
⭐
8
Sage
⭐
8
Yet another lambda calculus interpreter
Ulc
⭐
7
Untyped Lambda Calculus REPL written in Swift
Lambda_calculus_evaluator
⭐
7
A simple lambda calculus evaluator
Related Searches
Amazon Web Services Lambda Functions (7,495)
Javascript Lambda Functions (4,270)
Python Lambda Functions (3,231)
Lambda Functions Serverless (3,071)
Java Lambda Functions (1,104)
Lambda Functions Gateway (1,046)
Typescript Lambda Functions (944)
Haskell Lambda Functions (230)
Haskell Calculus (190)
Python Calculus (176)
1-2 of 2 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.