panda2134

panda2134's repositories

kotoba-oboeru

日语课背单词Webapp

Language:VueMIT3 30

DanmakuIt

A PaaS Platform for danmaku casting.

Language:PythonGPL-3.02 3 4

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:PythonMIT1 20

panda2134

1 2 1

panda2134.github.io

Stay Hungry,Stay Stupid

Language:HTMLApache-2.01 3 42

ray-tracing

Language:Rust1 20

thu-isatap

a script for Tsinghua Univ. ISATAP tunnels

Language:ShellGPL-3.01 30

cs839-fall23-project

Language:Coq020

cv-academic

Language:TeX020

etched

💿 A new way to play music

Language:JavaNOASSERTION010

Extras

📦 The Extras bucket for Scoop.

Language:PowerShellUnlicense010

glamour

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

Language:GoMIT010

illogical

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

Language:Scala010

MCSM-Install-Script

MCSManager Installation scripts (i18n)

MIT000

MCSManager

轻量级，开箱即用，多实例和支持 Docker 的 Minecraft 服务端管理面板

Language:TypeScriptApache-2.0020

mirrorz-help

Language:TypeScriptMIT010

nixpkgs

Nix Packages collection

Language:NixMIT010

obj-rs

:shipit: Wavefront obj parser for Rust

Language:RustNOASSERTION010

PolygonClip

Language:Rust020

Semgus-Benchmarks

Benchmark files for SemGuS

Language:SlashMIT010

Semgus-Java

Java consumer for the SemGuS JSON intermediate representation

Language:JavaMIT010

semgus-verifier

Language:Kotlin020

sketch

The sketch solver, with backend repackaged with nix

Language:Java020

sygus-sketch

Language:Java010

typescript-nuxtjs-reproduce

Language:Vue030

verus

Verified Rust for low-level systems code

Language:RustMIT000

verus-analyzer

A Verus compiler front-end for IDEs (derived from rust-analyzer)

Language:RustApache-2.0000

verus_ex_spec_reproduce

Language:Rust000

webpage-academic

Academic Web Page

Language:HTMLCC0-1.0000

z3-slides

Slides for Z3 tutorial on the course Software Analysis

Language:TeX020