Awesome Open Source

Programming Languages

Search results for lambda calculus

lambda-calculus x

206 search results found

Nandnotebooks ⭐ 16

Jupyter notebooks with some NAND code

Humus inspired actor framework for Node.js

🌲 Logic puzzle game based on the lambda calculus

Fizzbuzz ⭐ 15

Reimplementing lambda calculus in Java 8 for fun and profit.

Js Lambda ⭐ 15

DSL for lambda calculus

An inference engine for extensional untyped λ-calculus

Computational Semantics ⭐ 15

COGS 543 - Computational Semantics

Binary Lambda Calculus ⭐ 14

For exploring http://www.ioccc.org/2012/tromp/hint.html

🧊 Типізоване ‏-ג‏‎числення

A Java Stochastic Dynamic Programming Library

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.

Lambda Calculus Game ⭐ 14

Efficient and single-steppable ULC evaluation algorithm

Lambda Calculus ⭐ 13

A simple Programming Language Compiler to Lambda-Calculus, with a Lambda-Runtime

silly-k is an experimental hobby language inspired by K and APL

Quinegraphs ⭐ 13

Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).

Purity Project ⭐ 12

Contains realisations of common-used math functions and classical algorithms, written in Scala's pure-functional style.

Lambdacalculus Java ⭐ 12

Lambda calculus implemented in Java

Perplexity ⭐ 11

A notational semantic for documenting neural networks through diagrams

Y Combinator Tutorial ⭐ 11

An extremely short but hopefully enlightening explanation of the Y combinator

Lambda Scala3 ⭐ 10

Type-level lambda calculus in Scala 3

Lambda Calculus Devkit ⭐ 10

A collection of lambda calculus interpreters and development tools

px is an experimental, typed lambda calculus for _

Lamviz Js ⭐ 10

A visualiser for lambda terms as rooted maps.

Types and Programming Languages (TAPL)

Compilers ⭐ 10

A place for me to learn/ experiment with interpreters/compilers

Formalising Turing Machines In Coq (bachelor's thesis)

Bayesian induction of programs, à la Solomonoff

course site for METU COGS501 when i teach the course

jml - a useful web/cloud minimal unikernel distributed operating system

Functional Quantum Programming

A lambda calculus for quantum computation

Dblib Linear ⭐ 10

Formalisation of the linear lambda calculus in Coq

History Of Lambda Calculus ⭐ 9

Survey on materials that touch on the history of Lambda Calculus

Lambda Club ⭐ 9

Material from presentations at the University of Kent's LambdaClub meetings

SKI combinators

Formalization of Categories with Families

A Scheme to WebAssembly compiler

Stdlambda ⭐ 9

Standard library for Lambda Calculus, finally making LC a practical programming language.

Elara is a purely-functional programming language targetting the JVM

A neurosymbolic parser for Dutch.

The guarded λ-calculus

Pylambdac ⭐ 8

A lambda calculus interpreter in Python

Metalambda ⭐ 8

"DeBruijn to SKI" Untyped language that compiles to Unlambda

Lambdacraft ⭐ 8

Common Lisp DSL for building untyped lambda calculus expressions

A lazy and untyped experimental programming language

Lambdalab ⭐ 8

interactive λ-calculus for learning

GNU Guile to OpenQASM compiler. Program a quantum computer using Scheme.

Php Church Encoding ⭐ 7

Church encoded numerical computations over lambda-calculus implemented in PHP

Bidirectional type checker for the simply typed lambda calculus

Haskellcourse ⭐ 7

A lambda calculus interpreter written in Python

Lambda.notes ⭐ 7

Drafts from my bachelor's thesis

Lambda Calculus ⭐ 7

lambda calculus interpreter

Haskell Holes Th ⭐ 7

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

Church Turing ⭐ 7

A converter between the lambda calculus and Turing machines in Haskell

Gazelle - A scripting language inspired by LISP and Scheme

Untyped Lambda Calculus REPL written in Swift

Lfc Haskell ⭐ 6

🔮 An experiment with the simply typed lambda calculus, recursion schemes, Cofree, and extensible effects

Universal Lambda ⭐ 6

A minimal esolang based on lambda calculus

👨‍💻 Implementing System T in Haskell 👨‍💻

Lambda interpreter

Pure Type Systems for Functional Programming

Church Rosser ⭐ 6

A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) and the proof by Nagele-van Oostrom-Sternagel (2016); reuses the infrastructure for λ-terms and substitutions provided by the PLFA book

Binary Lambda Calculus evaluation engine written in Malbolge.

Math O Matic ⭐ 6

Computerized proof system on the web

lambdaQ - a functional quantum programming language.

Nbe A Tutorial ⭐ 6

Checking Dependent Types with Normalization by Evaluation

https://www.cis.upenn.edu/~bcpierce/tapl/

Lambda Calculus Java ⭐ 6

Combinators and Lambda Calculus in Java

Types and programming languages in reason

Lambdacalculusinterpreters ⭐ 6

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

A Lambda Calculus to Python compiler

Jupyter Mikrokosmos ⭐ 6

A Jupyter kernel for the Mikrokosmos lambda interpreter

Tag_export ⭐ 6

An export of my digital library (Mathematics, Logic, Physics, Numerical Analysis, Machine Learning, Computer Science)

Lambda Diagrams ⭐ 6

Animations of lambda term reduction sequences

Vorotynsky's lambda calculus interpreter

Lambda2pi ⭐ 6

Mikrokosmos Js ⭐ 6

Call Mikrokosmos from Javascript

Lambda Calculus In Js ⭐ 6

Lambda Kalkül für praktisches vanilla JavaScript - IP5 HS2019 / IP6 HS2020

✨ File format and optimizer for programs encoded in binary lambda calculus

Lambda Calculus In C ⭐ 6

lambda calculus in C

Call Cc Krivine ⭐ 6

A Krivine machine for the call-by-name reduction of lambda calculus (with call/cc & clock) expressions in Haskell.

Compiler Web Service ⭐ 6

a common lisp web service with two compilers as api endpoints

Scheme Dep ⭐ 5

A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"

A lambda calculus interpreter written in Python

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

Make a lambda calculus - npm package version for JavaScript

A Small Evaluator for Untyped Lambda Calculus

Circular Hos ⭐ 5

Implementation of higher-order syntax using circular programming

A tool for working with abstract categorial grammars (ACG) . Includes a REPL util where terms can be entered, type checked and evaluated.

Lambda4j - Additional non-throwable and throwable Java 8 lambdas.

Python module for (i) the representation of typelogical grammar derivations and (ii) their extraction from Lassy and Alpino-style dependency graphs.

Pli Python Based Lambda Interpreter ⭐ 5

A python based lambda interpreter

Binary lambda calculus

An interpreter for the untyped lambda calculus

Lambda Calc Spec ⭐ 5

Not that lambda calculus really needs a spec...

Related Searches

Haskell Lambda Calculus (136)

Functional Programming Lambda Calculus (58)

101-200 of 206 search results

Privacy | About | Terms | Follow Us On Twitter

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