angličtina
Avatar

Andrew Johnson
@andrew-johnson-4

LSTS is a proof assistant and maybe a programming language.

andrew-johnson-4 má 0 mecenášů.
Přispívejte   Kreditní/debetní karta Příkaz k inkasu

Prohlášení

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.

Propojené účty

andrew-johnson-4 vlastní na jiných platformách následující účty:

Repozitáře

LSTS 11 Upraveno tento týden

A proof assistant that is also a programming language.

perplexity 7 Upraveno před 2 týdny

A notational semantic for documenting neural networks through diagrams

fst_stringstring 3 Upraveno před 1 měsícem

a Map<String,String> like datastructure for fst

rdxl 4 Upraveno před 2 měsíci

Rusty Domain Extensible Language

i18n_wip 3 Upraveno před 2 měsíci

Make a pull request if you want something translated

cjk 10 Upraveno před 2 měsíci

Answer Boolean Questions and Queries about CJK and related character sets

misspeller 1 Upraveno před 2 lety

Take correctly spelled words and return common spelling mistakes

Historie

andrew-johnson-4 se přidal před 2 lety.

andrew-johnson-4 nezveřejňuje, kolik dostává prostřednictvím Liberapay.