Skip to content
View andrew-johnson-4's full-sized avatar
🐢
..
🐢
..
507 followers · 8 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx3Achievement: StarstruckAchievement: QuickdrawAchievement: YOLO

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx3Achievement: StarstruckAchievement: QuickdrawAchievement: YOLO

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

y 2 = x 3 + a x + b

LSTS Examples & Documentation

2024 Roadmap (Working towards a verified kernel language)

Work-Order Priorities

  • C Frontend to be mostly standards compliant + some common C extensions
  • LSTS frontend to feel like a fully formed language
  • remove remaining LM code from compiler and libraries
    • this completes the second pass of development, meaning everything has been looked at at least twice

Upcoming Planned Features

  • Language Standard v1.0
  • Linear Garbage Collection
    • this is a library, not a core feature (it just depends on linear/phi-types with del hooks)
  • Representation Selection for Closures with auto GC

Pinned Loading

  1. Lambda-Mountain-Compiler-Backend/lambda-mountain Public

    Compiler Backend for LSTS (Typed Macro Assembler)

    C 29 2

  2. Lambda-Mountain-Compiler-Backend/LSTS Public

    Large Scale Type Systems (programming language)

    123 3

  3. Lambda-Mountain-Compiler-Backend/lsts-language-reference Public

    LSTS Language Reference Website

    HTML 1