angol
Profilkép

Andrew Johnson
@andrew-johnson-4

LSTS is a proof assistant and maybe a programming language.

andrew-johnson-4-nak 0 támogatója van.
Adományozás   Betéti/Hitelkártya Csoportos Beszedés

Kimutatás

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.

Összekapcsolt fiókok

andrew-johnson-4 a következő fiókokat birtokolja más helyeken:

Tárolók

LSTS 14 Frissítve ezen a héten

A proof assistant that is also a programming language.

perplexity 8 Frissítve 3 hónappal ezelőtt

A notational semantic for documenting neural networks through diagrams

fst_stringstring 3 Frissítve 4 hónappal ezelőtt

a Map<String,String> like datastructure for fst

rdxl 4 Frissítve 4 hónappal ezelőtt

Rusty Domain Extensible Language

i18n_wip 3 Frissítve 4 hónappal ezelőtt

Make a pull request if you want something translated

cjk 10 Frissítve 4 hónappal ezelőtt

Answer Boolean Questions and Queries about CJK and related character sets

misspeller 1 Frissítve 2 évvel ezelőtt

Take correctly spelled words and return common spelling mistakes

Előzmények

andrew-johnson-4 2 évvel ezelőtt csatlakozott.

andrew-johnson-4 nem hozza nyilvánosságra, hogy mennyit kapnak a Liberapayen keresztül.

Ez az oldal gépi fordítású szöveget tartalmaz, amelyet még nem vizsgáltak felül, és amely pontatlan lehet. Itt tud hozzájárulni.