Zelda1RandoTools VS Lambda-Calculus

The code, after a 9 month hiatus, is once again 'very warm', as you can see here: https://github.com/brianmcn/Zelda1RandoTools/commits/v1.3

I published the 1.2.2 release yesterday, where I think I have finally finished all the major features I wanted to add. You can see all the features I added in 1.2 over the past four months in the "what's new" section of the docs, there is a lot.

You can see the linked prior descriptions for more info on the project. You could also read the documentation for the application, which is almost complete. I've also started making a video series about the design of the app, which you can find here.

The old icon you had seemed to be structured weirdly, as seen with visual studio:

Working on applying type theory basics on my lambda calculus based language, (currently added types, and thinking abt adding generics over types). Git repo : LambdaCalculus

I'm trying to make a simple Prototype language that gets transpiled to Lambda-Calc primitives, here is the project repo Project Repo, It works for simple stuff but still needs a lot of work

I just finished working on a Lambda-Calculus based project where I remade FParsec from scratch and using it I built an interpreter for Lambdas, and added a minimal ML like abstraction over it to allow for easy definition of terms, here is the repo Lambda-Calculus-Repo

I'm trying to add an ML like abstraction to this lambda-calc project https://github.com/DemuirGos/Lambda-Calculus next thing will be attempting some blockchain projects