Discover @andrew-johnson-4 Open Source projects

Andrew Johnson (@andrew-johnson-4)

andrew-johnson-4

Stars
309
Global Rank 86,547 (Top 3 %)
Followers 490
Following 4
Registered over 4 years ago
Most used languages

Rust
78.9 %

HTML
7.9 %

JavaScript
5.3 %

Python
5.3 %

Assembly
2.6 %
Location 🇺🇸 United States
Country Total Rank 23,679
Country Ranking

Assembly
449

Rust
747

HTML
6,407

LSTS

Large Scale Type Systems (programming language)

lambda-mountain

Compact Typed Assembler (5K SLOC)

perplexity

A notational semantic for documenting neural networks through diagrams

cjk

Answer Boolean Questions and Queries about CJK and related character sets

TokenPolice

Circuits to reduce dimensionality for transformers

BootstrapBook

Learn how to Write a Compiler in 2000 Lines of Code

CompilersIndex

A manually curated list of Open Source compilers and infrastructure components

L1IR

Intermediate Representation of LSTS L1 Language

lsts-tutorial

Tutorial for Large Scale Type Systems

fst_stringstring

a Map<String,String> like datastructure for fst

rdxl

Rusty Domain Extensible Language

so_many_words

maybe not just word salad please

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

perplexity_ide

Perplexity 😵 IDE

wasm_conways_game_of_life

Rust/Javascript implementation of Conway's Game of Life

area51

Testing Site for Ideas

linkedin-mirror

A mirror of my LinkedIn series on CS Trivia

andrew-johnson-4

FilesAndFolders

Symbolic Audio Manipulation

misspeller

Take correctly spelled words and return common spelling mistakes

InPlace

An implementation of several strongly-normalizing string rewriting systems

PunCalculus

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

lsts-lambda

run LSTS from a Lambda AWS container

ensemble_optimizers

Trying mixed iterative gradient descent optimizers for fun and profit

mxml

like regular expressions, but for XML

L1DFA

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

doby

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

ast_topology

Differentiable programming for Rust

quote_precise

A version of quote that preserves Span locations

jsmx

PubSub Message Passing for Rust with JSON

cjk_entity_extractor

Extract Text Entities from CJKV Text

lmgpt

Program ChatGPT in a Functional Style

EMODnetScraps

Code Scraps from EMODnet hackathon

ncf_rnn

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

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

rdxl_internals

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

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

rqxl

Rust Macro-based Query Language / ORM

awesome-lm

A curated list of useful resources for LM programming

rdxl_scaffolding

Rdxl Prefabricated HTML Components

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

rdxl_book

Convenient components for compiling books using RDXL

rhyme_dictionary

A Rhyme Dictionary written in Rust with an MIT License

rdxl_static_macros

Procedural Macros for RDXL Static Site Generation

RustWebAct

Reactive Actor Web Apps for Rust on the Web

AI4P

An inference that always brings peace

html.lm

LM Based HTML / CSS / JS generator

UniMath

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.