Hagb

Hagb's Stars

• wxflogic/logic_vsi

  牛津通识读本 Logic: A Very Short Introduction 新译本（补充了第2版新增的两章）

  373143

• gh0stkey/HaE

  HaE - Highlighter and Extractor, Empower ethical hacker for efficient operations.

  Language:Java3.3k249

• leanprover-community/batteries

  The "batteries included" extended library for the Lean programming language and theorem prover

  Language:Lean257108

• kevinburke/hamms

  Malformed servers to test your HTTP client

  Language:Python1.2k29

• adafruit/Adafruit_CircuitPython_RSA

  RSA implementation for CircuitPython based on python-rsa

  Language:Python1013

• Icalingua-plus-plus/Icalingua-plus-plus

  A client for QQ and more. :electron:

  Language:TypeScript3.3k189

• rtdarwin/muQuinet

  An userspace TCP/IP network stack running on Linux TUN virtual network device

  Language:C++11

• ONLYOFFICE/DesktopEditors

  An office suite that combines text, spreadsheet and presentation editors allowing to create, view and edit local documents

  3.1k344

• mit-plv/riscv-semantics

  A formal semantics of the RISC-V ISA in Haskell

  Language:Haskell15916

• digama0/mm0

  Metamath Zero specification language

  Language:Lean32340

• DertahSama/Download_SS_PDF

  超星(sslibrary)PDF下载器，并自动添加书签目录

  Language:Python11228

• Maxpicca-Li/CDIM

  CQU Dual Issue Machine

  Language:SystemVerilog343

• idrori/mathQ

  Data and code for the paper "A Neural Network Solves, Explains, and Generates University Math Problems by Program Synthesis and Few-Shot Learning at Human Level" by Drori et al., 2022.

  Language:Python18358

• chip-red-pill/MicrocodeDecryptor

  Language:Python1.5k115

• lework/lemonitor

  列出开源软件的**境内镜像站点 (List of mirror sites in China for open source software)

  Language:Vue6513

• raghur/mermaid-filter

  Pandoc filter for creating diagrams in mermaid syntax blocks in markdown docs

  Language:JavaScript43876

• xingyizhou/CenterNet

  Object detection, 3D detection, and pose estimation using center point detection:

  Language:Python7.3k1.9k

• milvus-io/milvus

  A cloud-native vector database, storage for next generation AI applications

  Language:Go31.4k3k

• kvsnoufal/Pytorch-FaceNet-DogDataset

  Paper To Code implementation of Facenet in native pytorch on Dog Dataset

  Language:Python209

• rainx/jupyter-cjk-xelatex

  Handle the encoding error for jupyter nbconvert to convert notebook to pdf document

  Language:Python2

• DDoSolitary/OkcAgent

  A utility that makes OpenKeychain available in your Termux shell

  Language:Kotlin18914

• sudden6/m-queens

  Very fast n-queens solver with OpenMP support

  Language:C72

• mbrossard/threadpool

  A simple C Thread pool implementation

  Language:C859340

• Pithikos/C-Thread-Pool

  A minimal but powerful thread pool in ANSI C

  Language:C2.1k620

• xant/libhl

  Simple and fast C library implementing a thread-safe API to manage hash-tables, linked lists, lock-free ring buffers and queues

  Language:C429117

• RanKKI/LawRefBook

  中华人民共和国法律手册

  Language:Swift2.3k193

• hhuysqt/esp32s3-keyboard

  USB/BLE keyboard driver based on ESP32S3-WROOM-1

  Language:C12619

• canokeys/yubikey-manager

  Python library and command line tool for configuring any YubiKey over all USB interfaces.

  Language:Python33

• sphinx-contrib/multiversion

  Sphinx extension for building self-hosted versioned docs.

  Language:Python15769

• leanprover-community/mathlib4

  The math library of Lean 4

  Language:Lean1.6k354