Giters
saddle196883

saddle196883

Geek Repo

6

followers

0

following

4

stars

Github PK Tool:Github PK Tool

saddle196883's starred repositories

lean-ssr

LeanSSR: an SSReflect-Like Tactic Language for Lean

Language:LeanLicense:Apache-2.0Stargazers:31Issues:0Issues:0

coxeter

Language:LeanStargazers:11Issues:0Issues:0

Vencord

The cutest Discord client mod

Language:TypeScriptLicense:GPL-3.0Stargazers:8169Issues:0Issues:0

connect4bot

Connect 4 Bot

Language:C++License:AGPL-3.0Stargazers:3Issues:0Issues:0