Skip to content
View oscarlaird's full-sized avatar

Block or report oscarlaird

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
6 results for forked starred repositories
Clear filter

Magic textboxes where you can type math as easily as writing!

TypeScript 180 48 Updated Mar 16, 2026

Dasher

C 174 48 Updated May 22, 2023

Handwriting Synthesis with RNNs ✍🏻

CSS 174 22 Updated Oct 17, 2022

A simple REPL for Lean 4, returning information about errors and sorries.

Lean 12 1 Updated Jun 19, 2023

Lean 3 web editor

TypeScript 12 15 Updated Oct 25, 2023

Read the Word of God from your terminal

Awk 187 51 Updated Feb 14, 2024