ayanamists Goto Github PK

pyeval

qingqing

A client-server android app for me and qingqing

react-tweet-card

A React component to display tweets

resume

An elegant \LaTeX\ résumé template. 大陆镜像 https://gods.coding.net/p/resume/git

scheme.js

Scheme for the browser and Node.js

set-theory

Coq encoding of ZFC and formalization of the textbook Elements of Set Theory

shadowsocksr

Python port of ShadowsocksR

spring-petclinic-microservices-config

Configuration repository for distributed Spring Petclinic application

swiftfin

Native Jellyfin Client for iOS and tvOS

sysu-ipv6

blog data

sysuh3c

H3C CLI Client for SYSU, which is implemented in C/C++. With an OpenWRT version.

tai-e

An easy-to-learn/use static analysis framework for Java

tanoshi

Selfhosted web manga reader.

temp-teaching-

tpg

Tree Proof Generator

tube

Personal video streaming server.

tw-list-dl

A gallery-dl based tool for automatic twitter achieving.

typeinf

HM Type system

vsc-prettify-symbols-mode

Prettify Symbols Mode for Visual Studio Code

vscode-jsp

Java Server Pages (JSP) for Visual Studio Code.

vscoq

A Visual Studio Code extension for Coq [maintainers=@maximedenes,@fakusb]

vspacecode

Spacemacs like keybindings for Visual Studio Code

vspacecode.github.io

VSpaceCode website

wala-start

a basic Gradle configuration to get started with WALA

wifidog-auth-server

This is wifidog auth server proxy from HTTP protocol to Radius protocol implement by golang.

x64dbg

An open-source x64/x32 debugger for windows.

ynot

The Ynot Project source code.