• Stars
    star
    2
  • Language
    Rust
  • License
    MIT License
  • Created 11 months ago
  • Updated 10 months ago

Reviews

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

Repository Details

An implementation of several strongly-normalizing string rewriting systems

More Repositories

1

LSTS

Large Scale Type Systems (programming language)
Rust
105
star
2

lambda-mountain

Compact Typed Assembler (5K SLOC)
Assembly
14
star
3

perplexity

A notational semantic for documenting neural networks through diagrams
HTML
13
star
4

cjk

Answer Boolean Questions and Queries about CJK and related character sets
Rust
13
star
5

TokenPolice

Circuits to reduce dimensionality for transformers
Rust
9
star
6

BootstrapBook

Learn how to Write a Compiler in 2000 Lines of Code
8
star
7

CompilersIndex

A manually curated list of Open Source compilers and infrastructure components
Python
8
star
8

L1IR

Intermediate Representation of LSTS L1 Language
Rust
7
star
9

lsts-tutorial

Tutorial for Large Scale Type Systems
JavaScript
7
star
10

fst_stringstring

a Map<String,String> like datastructure for fst
Rust
6
star
11

rdxl

Rusty Domain Extensible Language
Rust
5
star
12

so_many_words

maybe not just word salad please
Rust
4
star
13

stopwords

An esoteric language made up entirely of English stop words
4
star
14

i18n_wip

Make a pull request if you want something translated
4
star
15

atomic-physics-equations

An Amateur's Attempt to Derive the Periodic Table
HTML
3
star
16

perplexity_ide

Perplexity 😵 IDE
Rust
3
star
17

wasm_conways_game_of_life

Rust/Javascript implementation of Conway's Game of Life
Rust
3
star
18

area51

Testing Site for Ideas
Rust
3
star
19

linkedin-mirror

A mirror of my LinkedIn series on CS Trivia
3
star
20

andrew-johnson-4

My README
3
star
21

FilesAndFolders

Symbolic Audio Manipulation
Rust
2
star
22

misspeller

Take correctly spelled words and return common spelling mistakes
Rust
2
star
23

PunCalculus

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

lsts-lambda

run LSTS from a Lambda AWS container
Rust
2
star
25

ensemble_optimizers

Trying mixed iterative gradient descent optimizers for fun and profit
2
star
26

mxml

like regular expressions, but for XML
Rust
2
star
27

L1DFA

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

doby

Doby is a package manager and build tool for LM-family programs
Rust
2
star
29

ast_topology

Differentiable programming for Rust
Rust
2
star
30

quote_precise

A version of quote that preserves Span locations
Rust
2
star
31

cjk_entity_extractor

Extract Text Entities from CJKV Text
2
star
32

lmgpt

Program ChatGPT in a Functional Style
Rust
2
star
33

EMODnetScraps

Code Scraps from EMODnet hackathon
Python
2
star
34

jsmx

PubSub Message Passing for Rust with JSON
Rust
2
star
35

ncf_rnn

Generate a Probabilistic Grammar RNN from a potentially ambiguous Context Free Grammar definition
Rust
2
star
36

TotalTransformers

Use LSTS to make simple transformers
2
star
37

L1Pearls

Pearl programs from LSTS L1
2
star
38

lsts-tutorial-es

Tutorial for Large Scale Type Systems translated into Spanish
JavaScript
2
star
39

rdxl_internals

Guts of RDXL because procmacro crates can't export anything other than procmacros
Rust
2
star
40

L1IR_Rust

AoT compilation to Rust for L1IR code
1
star
41

Lattice

A Simple Window Manager for Functional Reactive Programming
1
star
42

SoftwareFlowcharts

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

wiktionary_crawler

Crawl Wiktionary Courteously yet Correctly and Persistently
Rust
1
star
44

awesome-lm

A curated list of useful resources for LM programming
1
star
45

rqxl

Rust Macro-based Query Language / ORM
1
star
46

rdxl_scaffolding

Rdxl Prefabricated HTML Components
Rust
1
star
47

L1Markov

Programming with integrated Markov Processes
1
star
48

insanity-bot

Branch and bound tool for fuzzing out bugs
1
star
49

RustParallelAssetLoader

load game assets in parallel to reduce load times
Rust
1
star
50

rdxl_book

Convenient components for compiling books using RDXL
1
star
51

rhyme_dictionary

A Rhyme Dictionary written in Rust with an MIT License
Rust
1
star
52

rdxl_static_macros

Procedural Macros for RDXL Static Site Generation
Rust
1
star
53

RustWebAct

Reactive Actor Web Apps for Rust on the Web
Rust
1
star
54

draft-table

LM based game development platform
1
star
55

AI4P

An inference that always brings peace
1
star
56

html.lm

LM Based HTML / CSS / JS generator
1
star