Giters
yhtq

yhtq

Geek Repo

4

followers

14

following

21

stars

Github PK Tool:Github PK Tool

yhtq's repositories

Notes

课程笔记

Language:TypstStargazers:2Issues:0Issues:0

lean_files

Language:LeanStargazers:1Issues:0Issues:0

cvse

收录/制作模板用

Language:PythonStargazers:0Issues:0Issues:0

FinalHomework-23Creation

Language:PythonLicense:GPL-3.0Stargazers:0Issues:1Issues:0

Frontiers-Homework-Paper-2022

Language:TeXStargazers:0Issues:0Issues:0

haskellvic3

Language:HaskellLicense:MITStargazers:0Issues:1Issues:0

lemmify

A library for typesetting mathematical theorems in typst.

Language:TypstLicense:GPL-3.0Stargazers:0Issues:0Issues:0

Qt-

Language:MakefileStargazers:0Issues:0Issues:0

quicssh-rs

QUIC proxy that allows to use QUIC to connect to an SSH server without needing to patch the client or the server.

Language:RustStargazers:0Issues:0Issues:0

test

Language:LeanStargazers:0Issues:1Issues:0