Discover andrew-johnson-4/LSTS Open Source project

Stars
105
Rank 328,196 (Top 7 %)
Language
Rust
License
MIT License
Created about 3 years ago
Updated 4 months ago

andrew-johnson-4

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Large Scale Type Systems (programming language)

lambda-mountain

Compact Typed Assembler (5K SLOC)

Assembly

perplexity

A notational semantic for documenting neural networks through diagrams

HTML

cjk

Answer Boolean Questions and Queries about CJK and related character sets

Rust

TokenPolice

Circuits to reduce dimensionality for transformers

Rust

BootstrapBook

Learn how to Write a Compiler in 2000 Lines of Code

CompilersIndex

A manually curated list of Open Source compilers and infrastructure components

Python

L1IR

Intermediate Representation of LSTS L1 Language

Rust

lsts-tutorial

Tutorial for Large Scale Type Systems

JavaScript

fst_stringstring

a Map<String,String> like datastructure for fst

Rust

rdxl

Rusty Domain Extensible Language

Rust

so_many_words

maybe not just word salad please

Rust

stopwords

An esoteric language made up entirely of English stop words

i18n_wip

Make a pull request if you want something translated

atomic-physics-equations

An Amateur's Attempt to Derive the Periodic Table

HTML

perplexity_ide

Perplexity 😵 IDE

Rust

wasm_conways_game_of_life

Rust/Javascript implementation of Conway's Game of Life

Rust

area51

Testing Site for Ideas

Rust

linkedin-mirror

A mirror of my LinkedIn series on CS Trivia

andrew-johnson-4

My README

FilesAndFolders

Symbolic Audio Manipulation

Rust

misspeller

Take correctly spelled words and return common spelling mistakes

Rust

InPlace

An implementation of several strongly-normalizing string rewriting systems

Rust

PunCalculus

A variant of Typed Lambda Calculus with generalized variable punning (ad-hoc polymorphism)

Rust

lsts-lambda

run LSTS from a Lambda AWS container

Rust

ensemble_optimizers

Trying mixed iterative gradient descent optimizers for fun and profit

mxml

like regular expressions, but for XML

Rust

L1DFA

Deterministic Finite-State Automata Library for Rust, written in L1

Rust

doby

Doby is a package manager and build tool for LM-family programs

Rust

ast_topology

Differentiable programming for Rust

Rust

quote_precise

A version of quote that preserves Span locations

Rust

cjk_entity_extractor

Extract Text Entities from CJKV Text

lmgpt

Program ChatGPT in a Functional Style

Rust

EMODnetScraps

Code Scraps from EMODnet hackathon

Python

jsmx

PubSub Message Passing for Rust with JSON

Rust

ncf_rnn

Generate a Probabilistic Grammar RNN from a potentially ambiguous Context Free Grammar definition

Rust

TotalTransformers

Use LSTS to make simple transformers

L1Pearls

Pearl programs from LSTS L1

lsts-tutorial-es

Tutorial for Large Scale Type Systems translated into Spanish

JavaScript

rdxl_internals

Guts of RDXL because procmacro crates can't export anything other than procmacros

Rust

L1IR_Rust

AoT compilation to Rust for L1IR code

Lattice

A Simple Window Manager for Functional Reactive Programming

SoftwareFlowcharts

How to do X in Y. This is middleware of the LibExplainer.com project.

wiktionary_crawler

Crawl Wiktionary Courteously yet Correctly and Persistently

Rust

awesome-lm

A curated list of useful resources for LM programming

rqxl

Rust Macro-based Query Language / ORM

rdxl_scaffolding

Rdxl Prefabricated HTML Components

Rust

L1Markov

Programming with integrated Markov Processes

insanity-bot

Branch and bound tool for fuzzing out bugs

RustParallelAssetLoader

load game assets in parallel to reduce load times

Rust

rdxl_book

Convenient components for compiling books using RDXL

rhyme_dictionary

A Rhyme Dictionary written in Rust with an MIT License

Rust

rdxl_static_macros

Procedural Macros for RDXL Static Site Generation

Rust

RustWebAct

Reactive Actor Web Apps for Rust on the Web

Rust

draft-table

LM based game development platform

AI4P

An inference that always brings peace

html.lm

LM Based HTML / CSS / JS generator

andrew-johnson-4/LSTS

andrew-johnson-4

Reviews

Repository Details

More Repositories