英語
アバター

Andrew Johnson
@andrew-johnson-4

LSTS is a proof assistant and maybe a programming language.

andrew-johnson-4 には 0 人のパトロンがいます。
寄付  

声明

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 11 今週更新

A proof assistant that is also a programming language.

i18n_wip 3 今週更新

Make a pull request if you want something translated

cjk 10 今週更新

Answer Boolean Questions and Queries about CJK and related character sets

perplexity 7 1 か月前 に更新

A notational semantic for documenting neural networks through diagrams

rdxl 5 1 年前 に更新

Rusty Domain Extensible Language

fst_stringstring 4 2 年前 に更新

a Map<String,String> like datastructure for fst

misspeller 2 2 年前 に更新

Take correctly spelled words and return common spelling mistakes

履歴

andrew-johnson-4 さんは 2 年前 に参加しました。

andrew-johnson-4 はLiberapayを通じて受け取る金額を公開していません。