Αγγλικά
Άβαταρ

Andrew Johnson
@andrew-johnson-4

LSTS is a proof assistant and maybe a programming language.

Ο/η andrew-johnson-4 έχει 0 δωρητές.

Δήλωση

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.

Συνδεδεμένοι Λογαριασμοί

Ο/Η andrew-johnson-4 έχει τους ακόλουθους λογαριασμούς σε άλλες πλατφόρμες:

Αποθετήρια

LSTS 11 Ενημερώθηκε αυτή την εβδομάδα

A proof assistant that is also a programming language.

perplexity 7 Ενημερώθηκε πριν από 1 εβδομάδα

A notational semantic for documenting neural networks through diagrams

rdxl 5 Ενημερώθηκε πριν από 1 εβδομάδα

Rusty Domain Extensible Language

i18n_wip 3 Ενημερώθηκε πριν από 2 εβδομάδες

Make a pull request if you want something translated

cjk 10 Ενημερώθηκε πριν από 2 εβδομάδες

Answer Boolean Questions and Queries about CJK and related character sets

fst_stringstring 4 Ενημερώθηκε πριν από 2 έτη

a Map<String,String> like datastructure for fst

misspeller 1 Ενημερώθηκε πριν από 2 έτη

Take correctly spelled words and return common spelling mistakes

Ιστορικό

andrew-johnson-4 εντάχθηκε στο πριν από 2 έτη.

andrew-johnson-4 δεν αποκαλύπτει πόσα λαμβάνουν μέσω της Liberapay.