Skip to content
@lambdulus

Lambdulus

Lambda Calculus interpreter and teaching tool for students and teachers.

Pinned Loading

  1. frontend frontend Public

    New and better front-end application for Lambdulus.

    TypeScript 6

  2. lambdulus.github.io lambdulus.github.io Public

    Online lambda calculus evaluator.

    HTML 5

Repositories

Showing 6 of 6 repositories
  • lambda-tester Public
    lambdulus/lambda-tester’s past year of commit activity
    TypeScript 0 MIT 0 0 0 Updated Oct 23, 2023
  • frontend Public

    New and better front-end application for Lambdulus.

    lambdulus/frontend’s past year of commit activity
    TypeScript 6 0 5 6 Updated Jan 8, 2023
  • staging Public

    Staging area (development build) of the Lambdulus Frontend web app. https://lambdulus.github.io/staging/

    lambdulus/staging’s past year of commit activity
    HTML 0 0 0 0 Updated Oct 12, 2022
  • lambdulus.github.io Public

    Online lambda calculus evaluator.

    lambdulus/lambdulus.github.io’s past year of commit activity
    HTML 5 0 0 0 Updated Oct 7, 2022
  • core Public

    Lambda calculus evaluator engine.

    lambdulus/core’s past year of commit activity
    TypeScript 7 MIT 0 7 0 Updated Oct 6, 2022
  • tiny-lisp-core Public

    A Lambdulus core module for the Tiny Lisp programming language.

    lambdulus/tiny-lisp-core’s past year of commit activity
    TypeScript 0 MIT 0 0 0 Updated Sep 13, 2022

Top languages

Loading…

Most used topics

Loading…