Awesome Open Source

Programming Languages

Search results for lambda calculus

lambda-calculus x

206 search results found

A next-gen functional language

Write You A Haskell ⭐ 2,744

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

egg is a flexible, high-performance e-graph library

Magic In Ten Mins ⭐ 693

十分钟魔法练习

Fp Core.rs ⭐ 644

A library for functional programming in Rust

Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.

An interpreter for learning and exploring pure λ-calculus

Cedille ⭐ 305

Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

🔮 Estudos obscuros de programação funcional

Lambda Talk ⭐ 246

A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS

Curryhoward ⭐ 232

Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism

Cognate ⭐ 196

A human readable quasi-concatenative programming language

Lambdalisp ⭐ 187

A Lisp interpreter written in untyped lambda calculus

Elsa is a lambda calculus evaluator

Glambda ⭐ 168

The home of the Glamorous Glambda interpreter

Hindley Milner ⭐ 152

An implementation of Hindley-Milner in Clojure.

Y Combinator For Non Programmers ⭐ 145

🍱 Y Combinator for Non-programmers: A Wild Introduction to Computer Science

Awesome Functional Studies ⭐ 143

A curated list of functional programming resources to study the fp paradigm

Combinators Js ⭐ 132

🐦 Some combinators

⛪ Church Encoding in JS

Coq formalizations of functional languages.

Chemlambda Gui ⭐ 117

Life like molecular computers with artificial chemistry.

Cosmicos ⭐ 109

Sending the lambda calculus into deep space

Purescript Purview ⭐ 107

A UI library based on the incremental lambda calculus

A proof assistant that is also a programming language.

Lambdapi ⭐ 86

Dependently Typed Lambda Calculus in Haskell

Lambda_calculus ⭐ 85

A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust

An interactive theorem prover based on lambda-tree syntax

A lambda calculus to explore type-directed program synthesis.

Andromeda ⭐ 74

GLSL-targetting embedded compiler, and OpenGL rendering engine.

Vanilla Lang ⭐ 73

An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types

Formality Javascript ⭐ 72

An implementation of the Formality language in JavaScript

A compiler for thin Symbolic Expressions abstraction layer over Lambda calculus.

Lalrpop Lambda ⭐ 70

A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.

🐦 Programming language that only consists of bird emojis

Make a lambda calculus.

Educational Proof Assistant for Type Theory

Lambda Zero ⭐ 67

minimalist pure lazy functional programming language (pythonic haskell)

Fun with λ calculus!

A compiler for the gradually typed lambda calculus

🧮 Programming with pure lambda calculus

Study of language design and implementation.

The compilation target that functional programmers always wanted.

🦀 λ Overly-documented Rust-powered Lambda Calculus Interpreter.

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

Meta Cedille ⭐ 52

Minimalistic dependent type theory with syntactic metaprogramming

Mikrokosmos ⭐ 52

(λ) Educational lambda calculus interpreter

Lambda Explorer ⭐ 52

Tutorial / REPL for the lambda calculus

Lambda Calculus ⭐ 52

An introduction to the Lambda Calculus

CS 704 course website - Principles of Programming Languages

A lambda calculus interpeter

Haskell Parser Examples ⭐ 45

Examples of a simple parser written in both Parsec and Happy/Alex

Lfvm Stg ⭐ 45

Map lazy functional language constructs to LLVM IR

Lambda Viewer ⭐ 45

Learn You a Lambda, a Haskell Tutorial

System F Agda ⭐ 44

A formalization of the polymorphic lambda calculus extended with iso-recursive types

Automagical variable binding library for Rust

implementation of Pure Type Systems (PTS) in Rust.

Lambdajs ⭐ 40

An interpreter of Lambda calculus written in JavaScript and working with JavaScript syntax.

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.

λtext - higher-order file applicator

Formality Core ⭐ 35

Specification of the Formality proof and programming language

Js Church Encoding ⭐ 33

Church Encoding Implementation in JavaScript

Lambda Scala ⭐ 32

Type level lambda calculus in Scala

Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck

Macro Lambda Calculus

Krivine Machine ⭐ 29

Abstract krivine machine implementing call-by-name semantics. In OCaml.

Python Lambda Calculus ⭐ 29

Lambda Calculus things implemented on Python

Program Induction ⭐ 29

A library for program induction and learning representations.

Magnificats ⭐ 28

Collection of ATS goodness

Types And Programming Languages ⭐ 27

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

Lambda Ski ⭐ 27

Implementing a small functional language with a combinator based graph-reduction machine

Lunarflow ⭐ 27

Lambda calculus go brrrr

Lang Practices ⭐ 26

My language practices :)

Typed Calc ⭐ 24

Interpreter for simply typed lambda calculus implemented in JavaScript λ

(λ) Category theory and lambda calculus, Bachelor's thesis

Lambda Notebook ⭐ 22

Lambda Notebook: Formal Semantics in Jupyter

Lightsabers ⭐ 22

They contain so few lines of code, yet so few people get them right.

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.

Agda Nbe ⭐ 21

Formalizing nbe in agda

Lambda_chess ⭐ 20

The game of chess and an AI opponent written in untyped lambda calculus... and it's a quine

Ats Blockchain ⭐ 19

⛓️ Blockchain + Smart contracts from scratch

Aws Lambda Workshop ⭐ 19

Some incremental examples suitable to host an AWS Lambda Functions workshop

Purescript Type Lang ⭐ 19

Lambda calculus at the type level.

Haskell implementation of nominal datatypes and functions

Lambda analysis package

a library for experimental linear lambda calculus

System F ⭐ 18

Formalization of the polymorphic lambda calculus and its parametricity theorem

Bologna Optimal Higher-Order Machine, Version 1.1

Lambda Fibonacci ⭐ 18

Implementation of the Fibonacci sequence in JS using pure Lambda Calculus

Tt In Cagda ⭐ 17

Simply typed lambda calculus in cubical agda

Algorithmw Rust ⭐ 17

A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.

The Lambda Programming Language

lambda calculus interpreter

Typeless ⭐ 17

an interpreter for λ-calculus implemented in ruby

Related Searches

Haskell Lambda Calculus (136)

Functional Programming Lambda Calculus (58)

1-100 of 206 search results

Privacy | About | Terms | Follow Us On Twitter

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