A Compiler in 85K Instructions (3K SLOC)
-
Updated
May 25, 2024 - Assembly
A Compiler in 85K Instructions (3K SLOC)
[
Elara is a purely-functional programming language targetting the JVM
lambdaQ - a functional quantum programming language.
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.
Lambda Calculus Calculator and Combinators Calculus Calculator with Portable Scala Cats and other TypeLeves libraries
Standard library for Lambda Calculus, finally making LC a practical programming language.
A variant of the Functional Machine Calculus with first-class locations
jml - a useful web/cloud minimal unikernel distributed operating system
Project for Semantics of programming languages course in my master's studies.
A place for me to learn/ experiment with interpreters/compilers
🧮 Programming with pure lambda calculus
My language practices :)
A cunning interpreter for the pure untyped λ-calculus.
⏺️ M.EIC 2023/2024 - 2ⁿᵈ year/ 2ⁿᵈ semester
An Elixir module for Church Encoding of numerals
A next-gen functional language
Interpreter to scan, parse and evaluate RPAL programs using grammer rules and lambda calculus
Intensional PCF interpreter
WIP: Untyped lambda calculus compiler
Add a description, image, and links to the lambda-calculus topic page so that developers can more easily learn about it.
To associate your repository with the lambda-calculus topic, visit your repo's landing page and select "manage topics."