Skip to content
View andrew-johnson-4's full-sized avatar
🐒
..
🐒
..
Block or Report

Block or report andrew-johnson-4

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
andrew-johnson-4/README.md

Hi, I'm Andrew Johnson

Make sure to drink plenty of water, not just coffee and tea.

2024 Roadmap (Working towards a verified kernel language)

Upcoming Planned Features

  • apply / chain / implicit context / type-context
  • ANSI C Frontend
  • LSTS Frontend

Request for Comment

If you feel like contributing to either LM or LSTS it would be enormously helpful to have anyone simply read a bit and ask a question. The projects are starting to grow to a size where it is hard to understand where a curious learner might get stuck. Different people have different backgrounds so it takes all shapes and sizes. Everyone is welcome, though I fear that the learning curves are still very steep.

Pinned

  1. LSTS LSTS Public

    Large Scale Type Systems (programming language)

    Rust 101 3

  2. lambda-mountain lambda-mountain Public

    A Compiler in 85K Instructions (5K SLOC)

    Assembly 10