Andrew Johnson

LSTS is a proof assistant and maybe a programming language.

andrew-johnson-4 té 0 mecenes.


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.

Comptes enllaçats

andrew-johnson-4 té els següents comptes en altres plataformes:


LSTS 11 Actualitzat fa 1 setmana

A proof assistant that is also a programming language.

perplexity 7 Actualitzat fa 2 setmanes

A notational semantic for documenting neural networks through diagrams

rdxl 5 Actualitzat fa 2 setmanes

Rusty Domain Extensible Language

i18n_wip 3 Actualitzat fa 2 setmanes

Make a pull request if you want something translated

cjk 10 Actualitzat fa 2 setmanes

Answer Boolean Questions and Queries about CJK and related character sets

fst_stringstring 4 Actualitzat fa 2 anys

a Map<String,String> like datastructure for fst

misspeller 1 Actualitzat fa 2 anys

Take correctly spelled words and return common spelling mistakes


andrew-johnson-4 es va unir fa 2 anys.

andrew-johnson-4 no mostra els diners que rep mitjançant Liberapay.