angličtina
Avatar

Andrew Johnson
@andrew-johnson-4

LSTS is a proof assistant and maybe a programming language.

andrew-johnson-4 má 0 patrónov.
Prispievajte   Kreditná/debetná Karta Príkaz z inkasa

Prehlásenie

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.

Prepojené účty

andrew-johnson-4 vlastní na iných platformách nasledovné účty:

Repozitáre

LSTS 14 Upravené tento týždeň

A proof assistant that is also a programming language.

perplexity 8 Upravené pred 3 mesiacmi

A notational semantic for documenting neural networks through diagrams

fst_stringstring 3 Upravené pred 4 mesiacmi

a Map<String,String> like datastructure for fst

rdxl 4 Upravené pred 4 mesiacmi

Rusty Domain Extensible Language

i18n_wip 3 Upravené pred 4 mesiacmi

Make a pull request if you want something translated

cjk 10 Upravené pred 4 mesiacmi

Answer Boolean Questions and Queries about CJK and related character sets

misspeller 1 Upravené pred 2 rokmi

Take correctly spelled words and return common spelling mistakes

História

andrew-johnson-4 sa pridal pred 2 rokmi.

andrew-johnson-4 nezverejňuje koľko dostáva cez Liberapay.