Giters
Yang (vertexi)

vertexi

Geek Repo

16

followers

22

following

1k

stars

Github PK Tool:Github PK Tool

Yang's starred repositories

Real-time-operation-strategy-of-virtual-power-plants

Data and code of my paper "Real-time operation strategy of virtual power plants with optimal power disaggregation among heterogeneous resources"

Language:MATLABLicense:MITStargazers:4Issues:0Issues:0

BewlyBewly

Improve your Bilibili homepage by redesigning it, adding more features, and personalizing it to match your preferences. (English | 简体中文 | 正體中文 | 廣東話)

Language:VueLicense:MITStargazers:4230Issues:0Issues:0

hydra-battles

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]

Language:CoqLicense:MITStargazers:65Issues:0Issues:0

coq-art

Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]

Language:CoqLicense:MITStargazers:109Issues:0Issues:0

platform

Multi platform setup for Coq, Coq libraries and tools

Language:ShellLicense:CC0-1.0Stargazers:189Issues:0Issues:0

sf

Mirror of Software Foundations in PDF

Language:HTMLStargazers:294Issues:0Issues:0

GOT-OCR2.0

Official code implementation of General OCR Theory: Towards OCR-2.0 via a Unified End-to-end Model

Language:PythonStargazers:4595Issues:0Issues:0

LC-Meter

Open Source LC-Meter. All documentation included.

Language:FreeBasicStargazers:73Issues:0Issues:0

skidl

SKiDL is a module that extends Python with the ability to design electronic circuits.

Language:Jupyter NotebookLicense:MITStargazers:1043Issues:0Issues:0

textext

Re-editable LaTeX/ typst graphics for Inkscape

Language:PythonLicense:BSD-3-ClauseStargazers:835Issues:0Issues:0

shadPS4

PS4 emulator for Windows,Linux,MacOS

Language:C++License:GPL-2.0Stargazers:9638Issues:0Issues:0

ImHex

🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.

Language:C++License:GPL-2.0Stargazers:43911Issues:0Issues:0

ipfs-desktop

An unobtrusive and user-friendly desktop application for IPFS on Windows, Mac and Linux.

Language:JavaScriptLicense:MITStargazers:5956Issues:0Issues:0

ClimaX

Foundation model for weather & climate

Language:PythonLicense:MITStargazers:602Issues:0Issues:0

kianRiscV

RISC-V Linux SoC, marchID: 0x2b

Language:CLicense:ISCStargazers:691Issues:0Issues:0

MixTeX-Latex-OCR

MixTeX multimodal LaTeX, ZhEn, and, Table OCR. It performs efficient CPU-based inference in a local offline on Windows.

Language:PythonLicense:AGPL-3.0Stargazers:669Issues:0Issues:0

glfm

OpenGL ES and input for iOS, tvOS, Android, and WebGL

Language:CLicense:ZlibStargazers:564Issues:0Issues:0

cvitek-tdl-sdk-sg200x

Language:CStargazers:2Issues:0Issues:0

yt-dlp

A feature-rich command-line audio/video downloader

Language:PythonLicense:UnlicenseStargazers:83534Issues:0Issues:0

youtube-dl

Command-line program to download videos from YouTube.com and other video sites

Language:PythonLicense:UnlicenseStargazers:131570Issues:0Issues:0

SF-zh

《软件基础》中译版 Software Foundations Chinese Translation

Language:HTMLStargazers:919Issues:0Issues:0

mem0

The Memory layer for your AI apps

Language:PythonLicense:Apache-2.0Stargazers:22012Issues:0Issues:0

ipxwrapper

Language:CLicense:GPL-2.0Stargazers:191Issues:0Issues:0

cadical

CaDiCaL SAT Solver

Language:C++License:MITStargazers:358Issues:0Issues:0

schemdraw

Language:Jupyter NotebookLicense:MITStargazers:106Issues:0Issues:0

torchode

A parallel ODE solver for PyTorch

Language:PythonLicense:MITStargazers:220Issues:0Issues:0

Trilinos

Primary repository for the Trilinos Project

Language:C++License:NOASSERTIONStargazers:1196Issues:0Issues:0

AltiumDesigner-Libraries

Personal schematic symbol and footprint libraries for Altium Designer.

License:MITStargazers:138Issues:0Issues:0

source_insight_4

参考网上使用

Stargazers:120Issues:0Issues:0

CMSIS-DAPbyWCH

a cheap CMSIS-DAP debugger by an WCH chip named CH549F

License:GPL-3.0Stargazers:43Issues:0Issues:0