https://github.com/andrew-johnson-4/andrew-johnson-4

My README
https://github.com/andrew-johnson-4/andrew-johnson-4

Last synced: 9 months ago
JSON representation

My README

• Host: GitHub
• URL: https://github.com/andrew-johnson-4/andrew-johnson-4
• Owner: andrew-johnson-4
• License: mit
• Created: 2022-07-20T03:45:17.000Z (over 3 years ago)
• Default Branch: main
• Last Pushed: 2025-02-25T00:09:37.000Z (9 months ago)
• Last Synced: 2025-02-25T01:19:50.660Z (9 months ago)
• Size: 485 KB
• Stars: 3
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
## Hi, I'm Andrew Johnson ![](https://komarev.com/ghpvc/?username=andrew-johnson-4)

> $$ y^2 = x^3 + ax + b $$

### [LSTS Examples & Documentation](https://andrew-johnson-4.github.io/lsts-language-reference/)

### 2024 Roadmap (Working towards a verified kernel language)

* ✓ [1.0.0 Bootstrap Compiler](https://github.com/andrew-johnson-4/lambda-mountain/releases/tag/1.0.0) 🥳🎉🎁

* ✓ [1.19.0 Basic support for LSTS syntax](https://github.com/andrew-johnson-4/lambda-mountain/releases/tag/1.19.1)

* ✓ [1.20.0 Phi Types](https://github.com/andrew-johnson-4/lambda-mountain/releases/tag/1.20.0)

### Work-Order Priorities

Having completed about 50% of housekeeping, it is now time to return to feature development.

This arc is focused on bringing the C frontend up to accepting all standards compliant ANSI C.

This hopefully won't take a terribly long time.

**TODO:**

* 0 grammar rules to go to get parser working

* C AST -> LM AST converter

   * 2 / ~50 end-to-end tests passing

   * see help wanted: https://github.com/andrew-johnson-4/lambda-mountain/issues/1291

### Upcoming Planned Features

* rewrite compiler internals in LSTS (focus on how things should be, rather than how things are)

  * some of the internal APIs can be stabilized

* 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