Skip to content
View waddlaw's full-sized avatar
🌵
yay
🌵
yay

Block or report waddlaw

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

Lean 4 programming language and theorem prover

Lean 5,096 464 Updated Feb 23, 2025

tex engine detection

TeX 15 5 Updated Jan 1, 2025

reStructuredText Language Support in Visual Studio Code

TypeScript 351 93 Updated Dec 5, 2024

Source code for the Mathematics in Lean tutorial.

Lean 117 75 Updated Feb 14, 2025

The user home repository for the Mathematics in Lean tutorial.

HTML 299 209 Updated Feb 21, 2025

Code and materials for my book "Pragmatic Type Level Design"

Haskell 119 9 Updated Feb 21, 2025

tool for turning Lean proofs into Blender animations

Lean 60 4 Updated Jan 29, 2025

A modern Wine wrapper for macOS built with SwiftUI

Swift 13,858 302 Updated Nov 10, 2024

A proof assistant for higher-dimensional type theory

OCaml 164 11 Updated Feb 7, 2025

Formalisations for simplicial HoTT and synthetic ∞-categories.

Markdown 48 11 Updated Oct 2, 2024

15-819 (Homotopy Type Theory) Lecture Notes

TeX 53 2 Updated Aug 11, 2020

The Flix Programming Language

Scala 2,237 160 Updated Feb 21, 2025

A book about compiling Racket and Python to x86-64 assembly

TeX 1,364 145 Updated Nov 22, 2024

A private messenger for iOS.

Swift 11,011 3,116 Updated Feb 21, 2025

CSV parser and formatter for node

TypeScript 1,690 213 Updated Feb 22, 2025

Koopa (COBOL) Parser Generator

COBOL 40 8 Updated Feb 22, 2025

The companion repo for the upcoming Total TypeScript book

TypeScript 1,701 140 Updated Sep 14, 2024

higher-order algebraic effects done right for Haskell

Haskell 84 4 Updated Dec 27, 2024

The fast, flexible, and elegant library for parsing and manipulating HTML and XML.

TypeScript 29,103 1,659 Updated Feb 20, 2025

Cloudflare Tunnel client (formerly Argo Tunnel)

Go 9,905 887 Updated Feb 14, 2025

Official Discord API Documentation

TypeScript 6,073 1,275 Updated Feb 18, 2025

The canonical spec for ulid

9,988 174 Updated Jul 20, 2024

Universally Unique Lexicographically Sortable Identifier

JavaScript 3,088 108 Updated Feb 21, 2025

Haskell implementation of ULIDs (Unique Lexicographically Sortable Identifiers)

Haskell 33 12 Updated Feb 3, 2025

An ecosystem of tools to build robust applications in TypeScript

TypeScript 8,284 275 Updated Feb 22, 2025

Create Music in Seconds with SunoAPI. Contact me , if you need suno api. 👇

Python 1,569 243 Updated Jan 16, 2025

Use API to call the music generation AI of suno.ai, and easily integrate it into agents like GPTs.

TypeScript 1,803 435 Updated Jan 31, 2025

High performance skia binding to Node.js. Zero system dependencies and pure npm packages without any postinstall scripts nor node-gyp.

Rust 1,866 79 Updated Feb 22, 2025

Convert character encodings in pure javascript.

JavaScript 3,105 285 Updated Nov 28, 2023

JS/Node helpers for Discord Interactions

TypeScript 442 102 Updated Feb 3, 2025
Next
Showing results