Skip to content
View andrew4328's full-sized avatar
🐢
..
🐢
..

Block or report andrew4328

Report abuse

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

Report abuse
andrew4328/README.md

Hi, I'm Andrew Johnson

We shape our buildings; thereafter they shape us. — Winston Churchill

Tinker-worthy Projects

Ideas Not-yet Fully Formed

Pinned Loading

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

    Compiler Backend for LSTS (Typed Macro Assembler)

    C 37 2

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

    Large Scale Type Systems: ML/C Hybrid Programming Language

    125 3

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

    LSTS Language Reference Website

    HTML 2

  4. probably.lm probably.lm Public

    Rational programming for LM

    1