ASK1995/Haskell

Haskell Implementations during CS 581 at OSU.

Size: 24.4 KB - Last synced: 2 months ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0

junzew/LambdaCalculus

Racket code to demonstrate lambda calculus concepts

Language: Racket - Size: 137 KB - Last synced: about 2 months ago - Pushed: over 3 years ago - Stars: 9 - Forks: 0

zhiayang/lambda

lambda calculus interpreter

Language: C++ - Size: 186 KB - Last synced: 22 days ago - Pushed: about 3 years ago - Stars: 35 - Forks: 3

Soonad/Formality-Core

Specification of the Formality proof and programming language

Language: JavaScript - Size: 604 KB - Last synced: 23 days ago - Pushed: over 1 year ago - Stars: 37 - Forks: 11

discus-lang/iron

Coq formalizations of functional languages.

Language: Coq - Size: 800 KB - Last synced: about 2 months ago - Pushed: almost 4 years ago - Stars: 132 - Forks: 10

sunmingyang0115/faux-lc-interpreter

simple lambda calculus interpreter in racket

Language: Racket - Size: 12.7 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 0 - Forks: 0

sColin16/structured-lambda

A structurally-typed lambda calculus that serves as a basis for structurally-typed functional languages

Language: OCaml - Size: 237 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 0 - Forks: 0

konstantinosKokos/spindle

A neurosymbolic parser for Dutch.

Language: Python - Size: 105 KB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 9 - Forks: 1

OganyanRV/Lambda-calculus-interpreter

Language: Jupyter Notebook - Size: 27.2 MB - Last synced: about 1 month ago - Pushed: almost 2 years ago - Stars: 3 - Forks: 0

orsinium-labs/python-lambda-calculus

Lambda Calculus things implemented on Python

Language: Python - Size: 41 KB - Last synced: 22 days ago - Pushed: over 4 years ago - Stars: 74 - Forks: 7

rm-dr/lamb

A lambda calculus engine written in python

Language: Python - Size: 400 KB - Last synced: 10 days ago - Pushed: 6 months ago - Stars: 1 - Forks: 0

sshwy/lamcalc

An implementation and tutorial for Lambda Calculus in Rust

Language: Rust - Size: 173 KB - Last synced: 12 days ago - Pushed: 2 months ago - Stars: 6 - Forks: 1

hradecek/Lambda-Calculus-and-Combinators

Exercises and solutions on *Lambda Calculus* and *Combinators* topic

Size: 10.7 KB - Last synced: about 1 month ago - Pushed: over 6 years ago - Stars: 2 - Forks: 1

swananddhawan/EOPL

My assignments and exercises solved in elective: EOPL (Essentials of Programming languages)

Language: Scheme - Size: 2.53 MB - Last synced: 3 months ago - Pushed: over 6 years ago - Stars: 2 - Forks: 0

thamugadi/call-cc-krivine

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

Language: Haskell - Size: 65.4 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 13 - Forks: 1

yazaldefilimone/lambda-calculus-typescript

Tiny lambda calculus implementations using Typescript

Language: TypeScript - Size: 26.4 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 0 - Forks: 0

sgillespie/lambda-calculus

An introduction to the Lambda Calculus

Size: 146 KB - Last synced: 3 months ago - Pushed: almost 2 years ago - Stars: 89 - Forks: 15

StardustDL/lamcal

An online calculator for lambda calculus (λx. y).

Language: Vue - Size: 657 KB - Last synced: 25 days ago - Pushed: about 1 year ago - Stars: 7 - Forks: 2

andrew-johnson-4/LSTS

Large Scale Type Systems (programming language)

Language: Rust - Size: 1.16 MB - Last synced: about 11 hours ago - Pushed: 3 months ago - Stars: 99 - Forks: 3

TheLokin/Lambda-Calculus-Interpreter

OCaml implementation of a Lambda Calculus Interpreter

Language: OCaml - Size: 15.6 KB - Last synced: 3 months ago - Pushed: about 2 years ago - Stars: 3 - Forks: 1

EvanZhouDev/twilight

Twilight is a modern lambda calculus runtime and REPL.

Language: JavaScript - Size: 37.9 MB - Last synced: 1 day ago - Pushed: 3 months ago - Stars: 2 - Forks: 0

georgejkaye/lamviz-js

A visualiser for lambda terms as rooted maps.

Language: JavaScript - Size: 14.2 MB - Last synced: about 1 month ago - Pushed: over 2 years ago - Stars: 13 - Forks: 0

clark800/lambda-zero

minimalist pure lazy functional programming language (pythonic haskell)

Language: C - Size: 1.77 MB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 68 - Forks: 4

niltok/magic-in-ten-mins

十分钟魔法练习

Language: HTML - Size: 31.5 MB - Last synced: 3 months ago - Pushed: 9 months ago - Stars: 719 - Forks: 34

sjsyrek/malc

Make a lambda calculus.

Language: Python - Size: 67.4 KB - Last synced: 2 months ago - Pushed: over 3 years ago - Stars: 83 - Forks: 11

lorepozo/program-induction

A library for program induction and learning representations.

Language: Rust - Size: 800 KB - Last synced: about 9 hours ago - Pushed: 5 months ago - Stars: 29 - Forks: 7

AnushkaReddy-hub/StringsIntoLambdaCalculusExpressions

This is an implementation of an interpreter that translates input strings into lambda calculus expressions using parser combinators in Haskell.

Language: Haskell - Size: 3.19 MB - Last synced: 2 months ago - Pushed: 2 months ago - Stars: 0 - Forks: 0

Chymyst/curryhoward

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

Language: Scala - Size: 413 KB - Last synced: 3 months ago - Pushed: over 2 years ago - Stars: 254 - Forks: 14

glebec/lambda-talk

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

Language: JavaScript - Size: 448 KB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 482 - Forks: 40

andrew-johnson-4/perplexity

A notational semantic for documenting neural networks through diagrams

Language: HTML - Size: 210 KB - Last synced: 22 days ago - Pushed: 10 months ago - Stars: 13 - Forks: 0

f0rr0/church-encoding

⛪ Church encodings for JavaScript primitives

Language: JavaScript - Size: 1.82 MB - Last synced: 15 days ago - Pushed: almost 4 years ago - Stars: 4 - Forks: 0

oilymacaroniconstant/lambda-calculus-in-python

Basic implementation of lambda calculus in Python.

Language: Python - Size: 2.93 MB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 0 - Forks: 0

chorasimilarity/chemlambda-gui

Life like molecular computers with artificial chemistry.

Language: HTML - Size: 26.4 MB - Last synced: 2 months ago - Pushed: over 1 year ago - Stars: 134 - Forks: 14

414owen/lambda-repl

JS / jison port of my lambda-calculus reducer

Language: JavaScript - Size: 43.9 KB - Last synced: 30 days ago - Pushed: about 4 years ago - Stars: 2 - Forks: 0

kspalaiologos/blc-mb

Binary Lambda Calculus evaluation engine written in Malbolge.

Language: C - Size: 4.11 MB - Last synced: 3 months ago - Pushed: almost 2 years ago - Stars: 17 - Forks: 2

dragosrotaru/PAL

Human-AI Pair Programming / Neurosymbolic Language / IDE / OS

Language: TypeScript - Size: 12.8 MB - Last synced: about 1 month ago - Pushed: 4 months ago - Stars: 3 - Forks: 1

marvinborner/BLoCade

:mermaid: The BLoC-aid for efficient targeted compilation of lambda calculus

Language: C - Size: 33.2 KB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 2 - Forks: 0

radekmie/lambda 📦

Beta reduction graph visualization

Language: JavaScript - Size: 296 KB - Last synced: 6 days ago - Pushed: almost 2 years ago - Stars: 5 - Forks: 0

lenguyenthanh/compilers

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

Language: Scala - Size: 1.41 MB - Last synced: 2 months ago - Pushed: 3 months ago - Stars: 11 - Forks: 1

thma/lambda-ski

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

Language: Haskell - Size: 822 KB - Last synced: 4 months ago - Pushed: 5 months ago - Stars: 28 - Forks: 1

davecode97/final_proyect_prolog

Project #1: Functional Programming with C#

Language: C# - Size: 103 KB - Last synced: 4 months ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

WhatisRT/meta-cedille

Minimalistic dependent type theory with syntactic metaprogramming

Language: Agda - Size: 917 KB - Last synced: 29 days ago - Pushed: 4 months ago - Stars: 54 - Forks: 0

marvinborner/birb

:bird: *cheep cheep shriek caw*

Language: Haskell - Size: 45.9 KB - Last synced: 4 months ago - Pushed: 6 months ago - Stars: 73 - Forks: 4

polux/lambda-diagrams

Animations of lambda term reduction sequences

Language: Haskell - Size: 10.7 KB - Last synced: 3 months ago - Pushed: almost 6 years ago - Stars: 83 - Forks: 5

ngzhian/ski

SKI combinators

Language: OCaml - Size: 19.5 KB - Last synced: about 1 month ago - Pushed: almost 7 years ago - Stars: 48 - Forks: 1

rikosellic/ExplicitLAM

Coq formalization of lambda calculus theories with explicit names. (SETTA'23)

Language: Coq - Size: 85 KB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 0 - Forks: 0

afmika/lambda-calculus

Perform computation using purely abstract λ-functions

Language: JavaScript - Size: 2.93 KB - Last synced: 4 months ago - Pushed: 9 months ago - Stars: 2 - Forks: 0

discus-lang/salt

The compilation target that functional programmers always wanted.

Language: Haskell - Size: 1.07 MB - Last synced: about 2 months ago - Pushed: almost 4 years ago - Stars: 63 - Forks: 3

Plantius/copl-assignment

A parser for the untyped lambda-calculus

Language: C++ - Size: 999 KB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 1 - Forks: 0

chrisnevers/type-inference

Implementation of Algorithm W

Language: OCaml - Size: 8.79 KB - Last synced: 25 days ago - Pushed: about 5 years ago - Stars: 2 - Forks: 0

JT2M0L3Y/MyPL

Programming language designed for the purpose of studying compilation and runtime processes. As a side note, OCaml was also introduced to contrast with imperative languages.

Language: C++ - Size: 27.3 MB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 0 - Forks: 0

Jim-Fan/lambda

Experimental interpreter for untyped lambda calculus

Language: C - Size: 45.9 KB - Last synced: 29 days ago - Pushed: 5 months ago - Stars: 1 - Forks: 0

norskovsen/Y-Combinator-Impl

Different implementations of the Y-Combinator in modern programming languages

Language: Erlang - Size: 16.6 KB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 0 - Forks: 1

damhiya/MetaLambda

Language: Haskell - Size: 108 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 8 - Forks: 0

wangjiezhe/tapl

Source code for TAPL

Language: OCaml - Size: 121 KB - Last synced: about 1 month ago - Pushed: about 7 years ago - Stars: 5 - Forks: 2

MMZK1526/lambda_calculus_front_end

Language: Dart - Size: 10.8 MB - Last synced: 4 months ago - Pushed: 6 months ago - Stars: 3 - Forks: 0

noti0na1/LambdaCalculus-java

Lambda calculus implemented in Java

Language: Java - Size: 21.5 KB - Last synced: 5 months ago - Pushed: over 7 years ago - Stars: 19 - Forks: 3

marvinborner/BLoC

:sparkles: File format and optimizer for programs encoded in binary lambda calculus

Language: C - Size: 80.1 KB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 6 - Forks: 0

flandrade/lambda-calculus-haskell

The λ-calculus in Haskell

Language: Haskell - Size: 15.6 KB - Last synced: 2 months ago - Pushed: 12 months ago - Stars: 4 - Forks: 0

melody-notpond/lambda

Lambda applicator implemented in Python

Language: Python - Size: 6.84 KB - Last synced: 5 months ago - Pushed: about 4 years ago - Stars: 1 - Forks: 0

miguelpagano/formalmetatheory-stoughton Fork of ernius/formalmetatheory-stoughton

We prove the equivalence between three induction principles for the untyped lambda calculus.

Language: Agda - Size: 2.97 MB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 0 - Forks: 0

danieledapo/lc

Lambda Calculus. All you need is a lambda.

Language: Haskell - Size: 47.9 KB - Last synced: 5 months ago - Pushed: almost 5 years ago - Stars: 1 - Forks: 0

Lyce24/OCaml-lite-Interpreter-Design

The OCaml-lite interpreter is a streamlined tool for parsing and executing OCaml-lite programs, offering insights into programming language interpretation with a focus on simplicity and educational value.

Language: OCaml - Size: 22.5 KB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 0 - Forks: 0

cristian-5/lemma

λ-Calculus Interpreter for Students

Language: TypeScript - Size: 77.1 KB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 1 - Forks: 0

Jemtaly/ProjectLambda

A calculator / programming language based on lambda calculus. 基于 Lambda 演算的简易编程语言。

Language: C++ - Size: 274 KB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 5 - Forks: 0

rsm-lisper/lambda-calculus-interpreter

Lambda Calculus Interpreters implemented in couple different languages. Just for fun.

Language: PHP - Size: 7.81 KB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 0 - Forks: 0

konstantinosKokos/aethel

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

Language: Python - Size: 32.8 MB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 5 - Forks: 3

lunarcast/lunarflow 📦

Lambda calculus go brrrr

Language: PureScript - Size: 1.64 MB - Last synced: 3 months ago - Pushed: 11 months ago - Stars: 28 - Forks: 0

rvcas/lambda

The Lambda Calculus in Zig

Language: Zig - Size: 6.84 KB - Last synced: 21 days ago - Pushed: over 2 years ago - Stars: 8 - Forks: 0

rdrigrs/AW_LIP1

Academic Work carried out as a requirement of the Programming Languages ​​1 discipline, at Universidade Federal do Ceará

Language: Kotlin - Size: 4.33 MB - Last synced: about 2 months ago - Pushed: 6 months ago - Stars: 0 - Forks: 0

notunrandom/eigen.studio

Eigenstudio aims to explore new avenues in software development

Language: Python - Size: 50.8 KB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 0 - Forks: 0

chibicode/Y-Combinator-for-Non-programmers

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

Language: TypeScript - Size: 14.9 MB - Last synced: 7 months ago - Pushed: 10 months ago - Stars: 154 - Forks: 9

gmfc/lambda-calculus-js

Language: JavaScript - Size: 7.81 KB - Last synced: 4 months ago - Pushed: 7 months ago - Stars: 0 - Forks: 0

mgechev/typed-calc

Interpreter for simply typed lambda calculus implemented in JavaScript λ

Language: JavaScript - Size: 28.3 KB - Last synced: about 1 month ago - Pushed: almost 7 years ago - Stars: 34 - Forks: 3

tominated/system_f_omega

My Attempt at System Fω with Row-Polymorphism

Language: OCaml - Size: 27.3 KB - Last synced: 3 months ago - Pushed: almost 3 years ago - Stars: 30 - Forks: 0

groupoid/alonzo

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

Language: OCaml - Size: 40 KB - Last synced: about 1 month ago - Pushed: 2 months ago - Stars: 15 - Forks: 1

treyzania/mglisp

Milligram Lisp - A lightweight, safe, embeddable lisp engine.

Language: Rust - Size: 42 KB - Last synced: 7 months ago - Pushed: about 6 years ago - Stars: 4 - Forks: 1

sgatev/lhat

An interpreter for lambda calculus.

Language: C++ - Size: 170 KB - Last synced: 7 months ago - Pushed: almost 2 years ago - Stars: 1 - Forks: 1

rgrannell1/visp

Toy vau-calculus language with non-sexpr syntax

Language: JavaScript - Size: 250 KB - Last synced: about 1 month ago - Pushed: over 2 years ago - Stars: 3 - Forks: 1

zlee-personal/lambda-calculus

A lambda calculus language written in racket

Language: CSS - Size: 319 KB - Last synced: 7 months ago - Pushed: almost 7 years ago - Stars: 1 - Forks: 0

Glebanister/labmda-calculator

theory of lambda calculus based calculator

Language: Haskell - Size: 22.5 KB - Last synced: 7 months ago - Pushed: over 3 years ago - Stars: 1 - Forks: 0

appositum/rola

Language: Haskell - Size: 126 KB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 7 - Forks: 0

abdllahdev/lambda-calculus-for-all

[WIP] A series of tutorials for lambda calculus

Language: OCaml - Size: 3.22 MB - Last synced: 4 months ago - Pushed: 8 months ago - Stars: 0 - Forks: 0

takahiro-kubota/cpp_dentaku

just practice :)

Language: C++ - Size: 17.6 KB - Last synced: 7 months ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

Vasyl-Bodnar/lambdish

Lambda Calculus Interpreter with Definitions

Language: OCaml - Size: 4.15 MB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 1 - Forks: 0

dariotrinchero/lambda-calc

A simple Python string-substitution-based interpreter for expanding (evaluating) lambda calculus. Contains pure lambda implementations of functions like Fibonacci, factorial and the Ackerman function.

Language: Python - Size: 10.7 KB - Last synced: 8 months ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

thma/thma.github.io

Lambda is not a four letter word. My blog on all things haskell and FP.

Language: HTML - Size: 7.59 MB - Last synced: 8 months ago - Pushed: 8 months ago - Stars: 4 - Forks: 2

danaugrs/lambda-vis

λ-Calculi Expression Visualizer

Language: TypeScript - Size: 352 KB - Last synced: 8 months ago - Pushed: 8 months ago - Stars: 3 - Forks: 0

marvinborner/jottary

Esoteric unary combinatory logic (variant of Jot)

Language: Haskell - Size: 13.7 KB - Last synced: 8 months ago - Pushed: 8 months ago - Stars: 1 - Forks: 0

francisrstokes/Lambda-Calculus

🐑Lambda calculus parser and evaluator in haskell

Language: Haskell - Size: 1.95 KB - Last synced: about 1 month ago - Pushed: over 5 years ago - Stars: 1 - Forks: 0

ZakariaDjebbes/mini-ml

Lambda calculus typer and evaluator

Language: F# - Size: 1.96 MB - Last synced: 8 months ago - Pushed: over 1 year ago - Stars: 1 - Forks: 0

Drapegnik/rsschool-fp

:zap: Functional Programming Course

Language: Haskell - Size: 23.4 KB - Last synced: about 1 month ago - Pushed: over 4 years ago - Stars: 2 - Forks: 0

ltext/ltext

λtext - higher-order file applicator

Language: Haskell - Size: 6.62 MB - Last synced: 27 days ago - Pushed: 5 months ago - Stars: 36 - Forks: 5

ShrohanMohapatra/PackMFCS

A set of python programs that can be used by early learners of the Mathematical Foundations of Computer Sciences (courtesy: Introduction to the Theory of Computation by Michael Sipser)

Language: Python - Size: 60.5 KB - Last synced: 8 months ago - Pushed: almost 3 years ago - Stars: 2 - Forks: 0

ShrohanMohapatra/ExplorePLT

A repository that describes my explorations on formal verification using Dafny, techniques from programming language theory such as CYK parsing, Earley parsing, type-theoretic things like lambda calculus etc.

Language: Python - Size: 7.84 MB - Last synced: 8 months ago - Pushed: almost 3 years ago - Stars: 4 - Forks: 0

bor0/gidti

Book: Introduction to Dependent Types with Idris

Size: 10.9 MB - Last synced: 3 months ago - Pushed: about 1 year ago - Stars: 73 - Forks: 4

L-TChen/Type-Theory

Lecture note on Lambda Calculus and Types for FLOLAC

Language: TeX - Size: 1.48 MB - Last synced: 9 months ago - Pushed: almost 2 years ago - Stars: 26 - Forks: 3

Deducteam/nubo

Nubo is a repository of interoperable formal proofs written in Dedukti.

Language: Makefile - Size: 124 KB - Last synced: 9 months ago - Pushed: about 1 year ago - Stars: 1 - Forks: 0

mneri/lambda

Lambda Calculus Standard Functions in Java

Language: Java - Size: 106 KB - Last synced: 9 months ago - Pushed: almost 5 years ago - Stars: 0 - Forks: 0

naderghanbari/cl-scala

Simple Combinatory Logic and Lambda Calculus in Scala

Language: Scala - Size: 304 KB - Last synced: 6 months ago - Pushed: about 5 years ago - Stars: 2 - Forks: 0