panda2134

CS PhD@UWMadison | 🔒7FF11642 | NixOS lover | ❤️@Starrah

Computer Sciences, University of Wisconsin - MadisonMadison, WI

Pinned Repositories

8086
A 8086 emulator written in assembly
Language:Assembly1 3 00
CompactLavaGenerator
A mod for Minecraft
Language:Java5 5 101
DanmakuIt
A PaaS Platform for danmaku casting.
Language:Python1 3 32
DanmakuIt-mp
WeChat MiniProgram for sending danmaku on DanmakuIt | main repo: https://github.com/panda2134/DanmakuIt
Language:TypeScript1 3 00
frontend-intro
An introduction to modern frontend technology
Language:HTML2 3 00
kotoba-oboeru
日语课背单词Webapp
Language:Vue3 3 01
LemonPlusClient
A client used for source code collection in programming contests.
Language:C4 2 10
OITemplate
My OI Code Template
Language:C++3 3 02
Project_LemonPlus
A tiny judging environment for OI contest based on Project_Lemon
Language:C++0 2 00
PyFormula
A simple formula editor written in python with PyQt5.
Language:Python7 3 00

panda2134's Repositories

panda2134/kotoba-oboeru
日语课背单词Webapp
Language:Vue3 3 01
panda2134/DanmakuIt
A PaaS Platform for danmaku casting.
Language:Python1 3 32
panda2134/DanmakuIt-mp
WeChat MiniProgram for sending danmaku on DanmakuIt | main repo: https://github.com/panda2134/DanmakuIt
Language:TypeScript1 3 00
panda2134/open-python
Open a file, directory, or URI using the OS's default application for that object type. Optionally, you can specify an application to use.
Language:Python1 2 01
panda2134/panda2134
1 2 00
panda2134/panda2134.github.io
Stay Hungry,Stay Stupid
Language:HTML1 3 424
panda2134/ray-tracing
ray-tracing
Language:Rust1 2 0
panda2134/thu-isatap
a script for Tsinghua Univ. ISATAP tunnels
Language:Shell1 3 0
panda2134/adminjs
AdminJS is an admin panel for apps written in node.js
Language:TypeScript
panda2134/adminjs-upload
AdminJS Feature - Upload Files
Language:TypeScript2 0
panda2134/antlr4ts
Optimized TypeScript target for ANTLR 4
Language:TypeScript2 0
panda2134/ArgPlayer
An android music player library
Language:Java2 0
panda2134/cassowary
Run Windows Applications on Linux as if they are native, Use linux applications to launch files files located in windows vm without needing to install applications on vm. With easy to use configuration GUI
Language:Python2 0
panda2134/cs839-fall23-project
Language:Coq2 0
panda2134/etched
💿 A new way to play music
Language:Java1 0
panda2134/Extras
📦 The Extras bucket for Scoop.
Language:PowerShell1 0
panda2134/glamour
Stylesheet-based markdown rendering for your CLI apps 💇🏻‍♀️
Language:Go1 01
panda2134/gson-fire
A java library that adds some very useful features to Gson, like Date serializing to unix timestamp or RFC3339, method (getters) serialization, pre/post processors and many others. Check out the documentation to learn how to use it!
Language:Java2 0
panda2134/illogical
Easy-to-use first order logic tools & Scala library
Language:Scala1 0
panda2134/mirrorz-help
Language:TypeScript1 0
panda2134/nixpkgs
Nix Packages collection
Language:Nix1 01
panda2134/obj-rs
:shipit: Wavefront obj parser for Rust
Language:Rust1 0
panda2134/PolygonClip
Language:Rust2 0
panda2134/Semgus-Benchmarks
Benchmark files for SemGuS
Language:Slash1 0
panda2134/Semgus-Java
Java consumer for the SemGuS JSON intermediate representation
Language:Java1 0
panda2134/semgus-verifier
Language:Kotlin2 0
panda2134/sketch
The sketch solver, with backend repackaged with nix
Language:Java2 0
panda2134/sygus-sketch
Language:Java0 0
panda2134/typescript-nuxtjs-reproduce
Language:Vue3 0
panda2134/z3-slides
Slides for Z3 tutorial on the course Software Analysis
Language:TeX2 0