angla
Profilbildo

Andrew Johnson
@andrew-johnson-4

LSTS is a proof assistant and maybe a programming language.

andrew-johnson-4 havas 0 donacantojn.
Donaci   Kreditkarto/Debetkarto Rekta debeto

Sinprezento

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.

Konektitaj Kontoj

andrew-johnson-4 posedas la jenajn kontojn en aliaj servoj:

Deponejoj

LSTS 84 Ĝisdatigita antaŭ 3 monatoj

A proof assistant that is also a programming language.

i18n_wip 4 Ĝisdatigita antaŭ 3 monatoj

Make a pull request if you want something translated

perplexity 11 Ĝisdatigita antaŭ 9 monatoj

A notational semantic for documenting neural networks through diagrams

fst_stringstring 6 Ĝisdatigita antaŭ 10 monatoj

a Map<String,String> like datastructure for fst

rdxl 5 Ĝisdatigita antaŭ 10 monatoj

Rusty Domain Extensible Language

cjk 13 Ĝisdatigita antaŭ 10 monatoj

Answer Boolean Questions and Queries about CJK and related character sets

misspeller 2 Ĝisdatigita antaŭ 2 jaroj

Take correctly spelled words and return common spelling mistakes

Historio

andrew-johnson-4 aliĝis antaŭ 3 jaroj.

andrew-johnson-4 ne montras kiom ĝi ricevas per Liberapay.