Lynn (@lynn)

Top repositories

1

hello

Word-guessing game
TypeScript
350
star
2

GMSD

GameMaker Studio decompiler in F#
F#
54
star
3

harp

a little autoharp for your phone and thumbs!
JavaScript
49
star
4

koakuma

Discord bot for a Danbooru tag-guessing game
TypeScript
39
star
5

trans-pride

RAML
39
star
6

pysearch

Brute-force search for short Python expressions (for code golf)
Rust
38
star
7

wordpet

Markov Tamagotchi
Elm
35
star
8

shanghai

Mahjong solitaire game for uxn (WIP)
Python
31
star
9

uxn-harp

Tiny uxn autoharp
31
star
10

aoc-2018

Advent of Code 2018 solutions in 25 different languages!
Rust
23
star
11

toki-wile

a constructed language, that combines the parts of Ithkuil I find interesting with the parts of Toki Pona I find cute and learnable
22
star
12

elm-arithmetic

Elm library for integer arithmetic and number theory
Elm
22
star
13

typst-syntree

Syntax trees for typst
Typst
17
star
14

universal-lambda

A minimal esolang based on lambda calculus
Ruby
14
star
15

uxn-ja

Tool for displaying Japanese text in uxn ROMs
Python
13
star
16

lidysisku

Fast lojban dictionary https://foldr.moe/lidysisku/
JavaScript
12
star
17

jvoxaskei

Haskell implementation of the Lojban lujvo-making algorithm
Haskell
11
star
18

wikipedia-css

custom stylesheet for wikipedia
CSS
11
star
19

aoc-2019

Advent of Code 2019 solutions in 25 different languages!
Haskell
10
star
20

golfscript-rs

GolfScript interpreter in Rust
Rust
10
star
21

kumdor

Localizing "The Sword of Kumdor" for PC-98
Python
9
star
22

typing-room

A chat room where you can see messages as they get typed
JavaScript
8
star
23

cfunc

A Norvig-y Lisp implementation I tried to write in C in 2015 or so
C
7
star
24

yuki

in which I play around with bidirectional typechecking
Python
7
star
25

gligau

Lojban-to-English translation
JavaScript
7
star
26

modhs

Haskell .mod file player
Haskell
6
star
27

nethackrc

My NetHack configs
Roff
5
star
28

wanikani-pitch-accent-quiz

Add pitch-accent checking to WaniKani lessons and reviews
5
star
29

lynn.github.io

HTML
4
star
30

hexs-cellar

a roguelike about memory
Rust
4
star
31

tapl

exercises from "types and programming languages" (pierce)
OCaml
4
star
32

rogysisku

Lojban tooltip dictionary
JavaScript
4
star
33

phrasing-trainer

Tool for practicing stenography phrasing
JavaScript
4
star
34

elm-ordinal

Elm library for making English ordinal strings (1st, 2nd, 3rd)
Elm
3
star
35

ukulele

Songs I chorded/tabbed out for soprano ukulele
3
star
36

code-notgolf

Reference implementations of hard code.golf holes
Python
3
star
37

aoc-2020

Advent of Code 2020 solutions in Idris 2
Idris
3
star
38

sourced

Helper library for Python scripts to fetch and cache data
Python
3
star
39

sonnet

a cutesy stenography theory that takes half an hour to learn!
TypeScript
2
star
40

chordview

wooooooosh!! watch chords go while a song plays
TypeScript
2
star
41

kanji

kanji learning order generator
Haskell
2
star
42

winds-seed

English translation of the PC-98 game Wind's Seed
Python
2
star
43

kaichuo

A little tool for writing in Toaq
HTML
2
star
44

pubump

A tool for making quick versioned changes to a Dart package.
Dart
2
star
45

lilypond-sheets

Lilypond sheet music I made
LilyPond
2
star
46

la-lebna

xe fanva fi lo lojbo fe la'o gi. Rogue .gi noi klasiko samselkei (Lojban translation of Rogue, the classic RPG)
C
2
star
47

Pmachine

Fork of the P-machine emulator, for UAntwerpโ€™s Compilers course
C++
2
star
48

calling-a-friend

An interactive fiction story programmed in Thing Explainer words (check out the `gh-pages` branch!)
2
star
49

pitch-accent

Playing around with a Japanese pitch accent database in Python
Python
2
star
50

aoc-2021

Advent of Code solutions in Haskell
Haskell
2
star
51

aoc-2022

Advent of Code 2022 in Borland Turbo C++
C++
2
star
52

conlang-math

Tiny samples of TeX source code and mathematical writing in constructed languages
TeX
2
star
53

z80golf

Mirror of mokehehe's Z80 code golf machine
C
1
star
54

smbpatch

Experiments in patching music into Super Mario Bros. 1
Python
1
star
55

ilsuiw

Redis-backed fact database Discord bot
Rust
1
star
56

z80golf-solutions

Solutions to problems on golf.shinh.org in z80golf
Assembly
1
star
57

aoc-prolog

Solving some Advent Of Code in Prolog
Prolog
1
star
58

reclue

A Python script for editing the clues of .puz format crosswords
Python
1
star
59

jvs-json

convert jbovlaste xml to json
Ruby
1
star
60

llg-site-test

LLG site test
HTML
1
star
61

wanikani-more-hotkeys

WaniKani userscripts
JavaScript
1
star