evinism/lambda-explorer

View on GitHub

Tutorial / REPL for the lambda calculus

Stars: 69
Forks: 10
Open beginner issues: 0
Indexed issues: 26

Dominant language: JavaScript
License: MIT
Last GitHub push: Mar 20, 2026
Latest indexed: Sep 15, 2026
Contributing guide: No contributing guide
Code of conduct: No code of conduct
Beginner labels: No beginner labels indexed
PR merge metrics: No merged PRs in 30d

Beginner friendly Everything

Open All

26 open issues indexed

Consider swapping input/output colors? Open

Difficulty 2/5 1-3 hours Newbie friendliness 35/100

evinism/lambda-explorer#129 · 1 reaction · Opened May 19, 2024
A few correct examples that the level doesn't deem correct Open

Difficulty 3/5 1-2 days Newbie friendliness 35/100

evinism/lambda-explorer#128 · Opened May 18, 2024
Partial application Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

evinism/lambda-explorer#126 · 1 comment · Opened Dec 4, 2023
Some typos Open

Difficulty 1/5 Under an hour Newbie friendliness 45/100

evinism/lambda-explorer#119 · Opened Dec 5, 2022
Expand expands below the viewport Open

Difficulty 3/5 1-2 days Newbie friendliness 35/100

evinism/lambda-explorer#85 · Opened Jun 11, 2019
bad response Open

Difficulty 3/5 1-2 days Newbie friendliness 35/100

evinism/lambda-explorer#74 · 2 comments · Opened Feb 14, 2019
Swap over to parser combinators for ease of syntax additions Open

Difficulty 5/5 Over a week Newbie friendliness 20/100

evinism/lambda-explorer#72 · Opened Jan 27, 2019
Possibly add in syntax for substitutions Open

Difficulty 5/5 Over a week Newbie friendliness 30/100

evinism/lambda-explorer#70 · Opened Jan 13, 2019
RAINBOW DARK MODE Open

Difficulty 5/5 Over a week Newbie friendliness 15/100

evinism/lambda-explorer#67 · 1 reaction · Opened Jan 10, 2019
Restyle and relayout the back/forward arrows Open

Difficulty 2/5 1-3 hours Newbie friendliness 45/100

evinism/lambda-explorer#64 · Opened Jan 10, 2019
General feedback Open

Difficulty 5/5 Over a week Newbie friendliness 15/100

evinism/lambda-explorer#62 · 6 comments · Opened Jan 7, 2019
allow backtracing to earlier definitions, or in-context definitions Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 20/100

evinism/lambda-explorer#58 · Opened Sep 5, 2018
Improve error messaging Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

evinism/lambda-explorer#56 · Opened Oct 19, 2017
add in helpful graphics Open

teaching

Difficulty 5/5 Over a week Newbie friendliness 15/100

evinism/lambda-explorer#49 · 1 comment · Opened Oct 1, 2017
Add in tutorial on y-combinator Open

teaching

Difficulty 3/5 1-2 days Newbie friendliness 20/100

evinism/lambda-explorer#46 · 2 reactions · Opened Sep 5, 2017
The tool does not recognize `λn. n` as eta-equivalent to the Church 1 (`λfn. f n`). Open

bug enhancement

Difficulty 3/5 1-2 days Newbie friendliness 45/100

evinism/lambda-explorer#40 · 8 comments · Opened Jun 7, 2017
Let user reattempt solving an arbitrary step in the tutorial Open

enhancement

Difficulty 3/5 1-2 days Newbie friendliness 35/100

evinism/lambda-explorer#39 · 3 comments · Opened Jun 7, 2017
Figure out some way of having predefined or persistent variables Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 35/100

evinism/lambda-explorer#34 · 1 reaction · Opened Jun 4, 2017
make matching paren indicator for the input box Open

enhancement

Difficulty 3/5 1-2 days Newbie friendliness 42/100

evinism/lambda-explorer#31 · 1 reaction · Opened Jun 3, 2017
Code cleanup Open

cleanup

Difficulty 5/5 Over a week Newbie friendliness 15/100

evinism/lambda-explorer#29 · Opened Jun 2, 2017
Design/implement better challenges interface Open

enhancement teaching

Difficulty 5/5 Over a week Newbie friendliness 20/100

evinism/lambda-explorer#28 · Opened Jun 1, 2017
move execution to webworkers Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 35/100

evinism/lambda-explorer#21 · 2 comments · Opened May 24, 2017
Simplify the markup in the repl Open

cleanup

Difficulty 4/5 3-5 days Newbie friendliness 25/100

evinism/lambda-explorer#20 · Opened May 24, 2017
Create a library of recognized functions Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 35/100

evinism/lambda-explorer#17 · Opened May 20, 2017
Make a better interface for informing users of syntax errors inline Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

evinism/lambda-explorer#15 · Opened May 18, 2017
move to more performant internal representation Open

performance

Difficulty 5/5 Over a week Newbie friendliness 25/100

evinism/lambda-explorer#7 · Opened May 2, 2017

evinism/lambda-explorer

Get new issues in your inbox