panda2134

kotoba-oboeru

日语课背单词Webapp

DanmakuIt

A PaaS Platform for danmaku casting.

DanmakuIt-mp

WeChat MiniProgram for sending danmaku on DanmakuIt | main repo: https://github.com/panda2134/DanmakuIt

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.

panda2134

panda2134.github.io

Stay Hungry,Stay Stupid

ray-tracing

ray-tracing

thu-isatap

a script for Tsinghua Univ. ISATAP tunnels

adminjs

AdminJS is an admin panel for apps written in node.js

adminjs-upload

AdminJS Feature - Upload Files

antlr4ts

Optimized TypeScript target for ANTLR 4

ArgPlayer

An android music player library

cs839-fall23-project

etched

💿 A new way to play music

Extras

📦 The Extras bucket for Scoop.

glamour

Stylesheet-based markdown rendering for your CLI apps 💇🏻‍♀️

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!

illogical

Easy-to-use first order logic tools & Scala library

mirrorz-help

nixpkgs

Nix Packages collection

obj-rs

:shipit: Wavefront obj parser for Rust

PolygonClip

Semgus-Benchmarks

Benchmark files for SemGuS

Semgus-Java

Java consumer for the SemGuS JSON intermediate representation

semgus-verifier

sketch

The sketch solver, with backend repackaged with nix

sygus-sketch

typescript-nuxtjs-reproduce

verus

Verified Rust for low-level systems code

z3-slides

Slides for Z3 tutorial on the course Software Analysis