英語
Andrew Johnson
Andrew Johnson
@andrew-johnson-4
LSTS is a proof assistant and maybe a programming language.
説明
Large Scale Type Systems is a library for performance-sensitive type system operations, specifically designed for cases where type logic may greatly outscale AST logic. The LSTS code works only with backreferences to AST code thereby permitting lazy generation of AST nodes.
リンクされているアカウント
andrew-johnson-4は他のプラットフォームで以下のアカウントを所有しています。
リポジトリー
LSTS スター 99 2 か月前に更新
Large Scale Type Systems (programming language)
perplexity スター 13 9 か月前に更新
A notational semantic for documenting neural networks through diagrams
履歴
andrew-johnson-4さんは4 年前に参加しました。
andrew-johnson-4さんはLiberapayで受け取っている金額を公開していません。