lambdaQ - a functional quantum programming language.
-
Updated
May 31, 2024 - Haskell
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.
A Compiler in 85K Instructions (3K SLOC)
Elara is a purely-functional programming language targetting the JVM
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
⏺️ M.EIC 2023/2024 - 2ⁿᵈ year/ 2ⁿᵈ semester
Lambda Notebook: Formal Semantics in Jupyter
A cunning interpreter for the pure untyped λ-calculus.
[
Standard library for Lambda Calculus, finally making LC a practical programming language.
My language practices :)
Final project for master's degree in Semantics of programming languages course.
Lambda Calculus Calculator and Combinators Calculus Calculator with Portable Scala Cats and other TypeLeves libraries
A variant of the Functional Machine Calculus with first-class locations
jml - a useful web/cloud minimal unikernel distributed operating system
A place for me to learn/ experiment with interpreters/compilers
🧮 Programming with pure lambda calculus
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
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."