nwang03's Stars
leanprover/lean4
Lean 4 programming language and theorem prover
SriramRajagopal42/SportsMe
Website to match Bruins with other people who want to play the same sports
uclaacm/cloud-distributed-trace
tmux/tmux
tmux source code
Homebrew/brew
🍺 The missing package manager for macOS (or Linux)
EbookFoundation/free-programming-books
:books: Freely available programming books
Developer-Y/cs-video-courses
List of Computer Science courses with video lectures.
onriv/lean4ij
A Lean4 plugin for the Intellij Platform
Leader-board/OA-and-Interviews
The guide to online assessments and interviews
donnemartin/system-design-primer
Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.
eado/mystery
A scavenger hunt mystery for CS 118
xournalpp/xournalpp
Xournal++ is a handwriting notetaking software with PDF annotation support. Written in C++ with GTK3, supporting Linux (e.g. Ubuntu, Debian, Arch, SUSE), macOS and Windows 10. Supports pen input from devices such as Wacom Tablets.
leanprover-community/mathlib4
The math library of Lean 4
schlagmichdoch/PairDrop
PairDrop: Transfer Files Cross-Platform. No Setup, No Signup.
SpotX-Official/SpotX-Bash
SpotX Mac and Linux adblocker for the Spotify desktop client, in Bash
Nuzair46/BlockTheSpot-Mac
Spotify Ad blocker for MacOS
ShelbyPop/CS35L-Project
CS35L Pomodoro Game
wilsonlu0225/r-ucla-scraper
speedyapply/2025-SWE-College-Jobs
2025 SWE internship & new graduate job list updated daily
papers-we-love/papers-we-love
Papers from the computer science community to read and discuss.
vinlin24/cs35l-notebooks
Backup of my digital notebooks for my F22 CS 35L class.
curl/curl
A command line tool and library for transferring data with URL syntax, supporting DICT, FILE, FTP, FTPS, GOPHER, GOPHERS, HTTP, HTTPS, IMAP, IMAPS, LDAP, LDAPS, MQTT, POP3, POP3S, RTMP, RTMPS, RTSP, SCP, SFTP, SMB, SMBS, SMTP, SMTPS, TELNET, TFTP, WS and WSS. libcurl offers a myriad of powerful features
mizlan/recenttrack
Vercel serverless API function for fetching most recent track played. Defaults to querying Spotify, but falls back to Last.fm when Spotify player is inactive
ihong0/Hypergraphs
danieltherealyang/egg-forward-bisimulation
egg is a flexible, high-performance e-graph library
enigmurl/nutq-darwin
enigmurl/hiddenAI
An archive of a mini machine learning library
monocurl/monocurl
A desktop application used for creating math-based videos and slideshows
enigmurl/mjtool
tedMcleod/mjtool