The Wayback Machine - https://web.archive.org/web/20230926002501/https://github.com/planetlambert

Planet Lambert

README.md

Planet Lambert

The goal of this project is to build high quality reference implementations of foundational computer science concepts and papers.

In Progress

Planned

Frege to Gödel starting with Begriffsschrift
Combinatory Logic

Inspiration

Pinned

turing Public

A reference implementation of Alan Turing's 1936 paper, On Computable Numbers

Go 35

Repositories

.github Public

0 0 0 0 Updated Sep 22, 2023
lambda Public
A reference implementation of Alonzo Church's Lambda Calculus

1 MIT 0 0 0 Updated Sep 20, 2023
turing Public
A reference implementation of Alan Turing's 1936 paper, On Computable Numbers

Go 35 MIT 0 0 0 Updated Sep 18, 2023

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…