ldct - Giters

Li Xuanji's repositories

isicp

Interactive Structure and Interpretation of Computer Programs

Language:HTMLMIT1158 44 37

cp

solutions for usaco, uva, noi etc

Language:Python4 20

metamath-syntax-highlighting

Language:Objective-C++2 20

NotWordle

Wordle game for music industry

Language:TypeScriptMIT100

retired_MiFaFaOvO

1 10

193p

Language:Swift020

chordplayer

Language:Swift010

djvujs-standalone

Language:HTML010

djvujs-test-ios

Language:JavaScript010

drawbox

Language:JavaScript02 1

ethresear.ch

🤔Posts on ethresear.ch

Language:TeX010

flask-admin

Simple and extensible administrative interface framework for Flask

Language:PythonBSD-3-Clause010

formalising-mathematics-2024

Formalising Mathematics; a course for undergraduate mathematicians. Running January to March 2024.

Language:LeanApache-2.0000

gamba

climbing scoreboard

Language:HTML010

grunt-typescript

Language:JavaScriptMIT010

lean-textbooks

Language:Lean020

lean4-no_mathlib

Language:Lean010

ln

latex notes

Language:TeX020

metaballs

Associated code for http://jamie-wong.com/2014/08/19/metaballs-and-marching-squares/

Language:JavaScript010

monorepo

Home for all packages related to the Counterfactual project

Language:TypeScriptMIT010

natural_number_game

Building the natural numbers in Lean.

Language:LeanApache-2.0010

plasma-cash-2

010

PyRival

⚡ Competitive Programming Library

Language:PythonApache-2.0010

python-string

Language:Python020

resume

Language:TeX020

rust-tutorial

Language:Rust020

spyfall

Simple website implementation of the card game Spyfall

Language:JavaScriptMIT010

swift-book

The Swift Programming Language book

Language:MarkdownApache-2.0000

too-many-lists

Learn Rust by writing Entirely Too Many linked lists

Language:RustMIT010

uw-gitlab

Language:C010