Hagb

Hagb's Stars

• xournalpp/xournalpp

  Xournal++ is a handwriting notetaking software with PDF annotation support. Written in C++ with GTK3, supporting Linux (e.g. Ubuntu, Debian, Arch, SUSE), macOS and Windows 10. Supports pen input from devices such as Wacom Tablets.

  Language:C++11.6k831

• mame/quine-relay

  An uroboros program with 100+ programming languages

  Language:Ruby14.1k558

• jldodds/coq-lean-cheatsheet

  A quick reference for mapping Coq tactics to Lean tactics

  Language:Lean694

• rehiy/dnspod-shell

  基于DNSPod用户API实现的纯Shell动态域名客户端

  Language:Shell1.1k533

• zombie110year/drcom.rs

  Rust 编写的 Drcom 登录验证工具

  Language:Rust2

• kbuzzard/xena

  Lean Library currently studying for a degree at Imperial College

  Language:Lean22722

• zakjan/cert-chain-resolver

  SSL certificate chain resolver

  Language:Go80883

• hi60year/nonebot-horse-race

  Nonebot plugin implementation of a small horse-race game with skills

  3

• docker-easyconnect/docker-easyconnect

  使深信服（Sangfor）开发的非自由的 VPN 软件 EasyConnect 和 aTrust 运行在 docker 或 podman 中，并作为网关和/或提供 socks5、http 代理服务

  Language:Shell3.9k356

• haowang-cqu/CourseMonitor

  CQU选课状态监测

  Language:Python121

• Nambers/MiraiCP

  c++ SDK of Mirai

  Language:C++17831

• moesoha/debian-media-box

  “Debian 小药盒”，一个用来包装 Debian 安装介质的盒子设计和介绍用的说明书。

  Language:TeX1.1k62

• JHGuitarFreak/UQM-MegaMod

  A fork of The Ur-Quan Masters + HD-mod that remasters the HD graphics with a veritable smorgasbord of extra features, options, QoL improvements, and much more...

  Language:C8123

• leanprover-community/lean-liquid

  💧 Liquid Tensor Experiment

  Language:Lean18615

• sp-study-group/ossp-guan

  ⌨️ 开源双拼·小鹳

  617

• dcti/dnetc-client-base

  distributed.net client public source code. (Note: this codebase does not have networking or buffer file capabilities)

  Language:C++4720

• MrChromebox/coreboot

  Language:C26065

• BOINC/boinc

  Open-source software for volunteer computing and grid computing.

  Language:PHP2.1k457

• leanprover-community/mathematics_in_lean

  The user home repository for the Mathematics in Lean tutorial.

  Language:HTML294197

• leanprover/lean4

  Lean 4 programming language and theorem prover

  Language:Lean4.9k446

• shd101wyy/markdown-preview-enhanced

  One of the 'BEST' markdown preview extensions for Atom editor!

  Language:HTML4.2k516

• oo13/xgettext-endless-sky

  Utilities to extract translatable texts from the program and data files of of Endless Sky and its plugins.

  Language:Python2

• BlindMindStudios/StarRuler2-Source

  4X Space Strategy game Star Ruler 2's open source distribution.

  Language:C1.5k245

• tinyproxy/tinyproxy

  tinyproxy - a light-weight HTTP/HTTPS proxy daemon for POSIX operating systems

  Language:C5k676

• pxb1988/dex2jar

  Tools to work with android .dex and java .class files

  Language:Java12.5k2.1k

• osm0sis/AnyKernel3

  AnyKernel, Evolved

  Language:Shell1.1k1.3k

• TPCOther/JingD

  Another practice of vue

  Language:Vue1

• DCsunset/pandoc-include

  A pandoc filter to allow file and header inclusion

  Language:Python6914

• DL444/cqu-schedule

  重庆大学课程日历订阅服务 - Course schedule calendar subscription service for Chongqing University.

  Language:C#301

• hackershare/hackershare

  Hackershare is a powerful social bookmarking service and a knowledge-sharing community, with advanced search and tag management feature

  Language:HTML60452