8000 lynn (Lynn) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View lynn's full-sized avatar
🐞
🐞

Block or report lynn

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Common English Lexicon (CEL), a word list with common words, for word games

36 6 Updated Jun 16, 2022

A Lean companion to Analysis I

Lean 737 81 Updated Jun 20, 2025

Parser and tools for Toaq Delta

TypeScript 12 Updated Jun 19, 2025
C 248 37 Updated Oct 2, 2024

Explore large language models in 512MB of RAM

HTML 1,197 80 Updated Feb 28, 2025

A tool for creating styled YouTube subtitles

C# 900 66 Updated Jun 17, 2025

C in four functions

C 10,176 1,456 Updated Dec 26, 2023

Shrimple: a Python dictionary you can use to run your orthospelling theory

Python 8 1 Updated Dec 7, 2024

Inspired by Lapwing numbers, but 2 numpads instead of 1

Python 4 Updated Jun 9, 2025

Playfair is a general purpose Open Source typeface family

HTML 561 35 Updated May 13, 2025

A Typst package to display chessboards.

Rust 22 4 Updated Mar 11, 2025

A Discord API wrapper library made in C

C 560 30 Updated May 14, 2025

Tools for working with monochrome bitmap fonts

HTML 223 12 Updated Oct 17, 2024

A parser generator for visibly pushdown languages.

C 791 26 Updated Mar 29, 2025

A repository for research code, papers, interactive visualizers, etc., for spline research

JavaScript 224 12 Updated Feb 12, 2020
Python 9 Updated Jul 7, 2023

Type-driven syntactic and semantic effectful parsing for NL

Haskell 13 5 Updated May 27, 2025

Extraction of an 8x16 bitmap font from a game ROM

Elixir 2 Updated Jun 20, 2024

A tiny but powerful VGA text mode font editor for DOS

Assembly 95 5 Updated Sep 7, 2024

A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.

Python 114 8 Updated Jun 8, 2025

Interactive study tool for Go problems on arbitrary undirected graphs

Rust 2 Updated May 19, 2025

Parser for Attempto Controlled English (ACE)

Prolog 197 28 Updated Apr 21, 2024

Grammatical Framework's Resource Grammar Library (RGL)

Grammatical Framework 57 54 Updated May 21, 2025

autoharp & bossa nova machine, inspired by foldr.moe/harp

JavaScript 5 1 Updated Jan 27, 2024

Understanding what your bits do when you're not looking.

JavaScript 3,535 333 Updated Mar 8, 2023

Engine for making things with a MS-DOS feel, but for modern platforms

C 1,122 53 Updated Apr 26, 2025

My Dutch steno theory and dictionary

Python 12 Updated Jul 7, 2024

get things from one computer to another, safely

Python 21,395 693 Updated Jun 7, 2025

Rust implementation of Project Fluent

Rust 1,202 101 Updated May 23, 2025
Next
0