XayahSuSuSu/popf XayahSuSuSu/popf

  • Stars
    star
    2
  • Language
    C++
  • License
    Apache License 2.0
  • Created 7 months ago
  • Updated 7 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
XayahSuSuSu/popf
github

XayahSuSuSu

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

POPF: A forwards-chaining temporal planner

More Repositories

1

Android-DataBackup

DataBackup for Android 7.0+
Kotlin
3,300
star
2

Action-SGSI-build

Based on https://github.com/xiaoxindada/SGSI-build-action
Shell
87
star
3

libpickyou

Android file picker module with the style of Material You.
Kotlin
41
star
4

android_device_xiaomi_cezanne

Device Tree for Redmi K30 Ultra
C
22
star
5

Android-HNUDiscreteMathematicsHelper

湖南大学离散数学助手
Kotlin
16
star
6

Android-IMGHelper

IMG助手
Kotlin
14
star
7

XueTangxGetAnswer

Python实现学堂在线答案爬取
Python
12
star
8

device_xiaomi_cas

Device Tree for Mi 10 Ultra
Shell
11
star
9

kernel_redmi_mt6885

Android common kernel for redmi MT6885 devices. Supported devices: atom, bomb, cezanne.
C
11
star
10

android_kernel_xiaomi_cas

Current tag: LA.UM.9.12.r1-14000-SMxx50.QSSI13.0 with the latest ASB-4.19-stable merged by @asuka-mio.
C
7
star
11

orangefox_bootable_recovery

C++
5
star
12

Android-GitForAndroid

Git For Android
Kotlin
4
star
13

WeChatMiniProgram-JD

微信小程序-JD登录协议
JavaScript
4
star
14

Demo-ArcsoftFace

虹软人脸识别Linux Demo
Python
4
star
15

gochronize

A tool for synchronizing releases from GitHub with local.
Go
4
star
16

Android-ZstandardForAndroid

Zstandard For Android
C
3
star
17

android_vendor_xiaomi_cezanne

Vendor for Redmi K30 Ultra
Makefile
3
star
18

aospa_device_xiaomi_cas

Paranoid Android Device Tree for Mi 10 Ultra
Shell
2
star
19

Latex-HNUThesisTemplate

湖南大学本科毕业论文LaTeX模板（大理类）
TeX
2
star
20

XayahSuSuSu.github.io

HTML
2
star
21

Android-AcmePlayer

Java
2
star
22

Tool-SGSI-build

GitLab: https://gitlab.com/Xayah/Tool-SGSI-build
Python
2
star
23

device_xiaomi_thyme

Device Tree for Mi 10 S
Shell
2
star
24

dtbo-tools

Custom screen refresh rate
Shell
1
star
25

Android-Guardian

2022年英特尔杯嵌入式专题邀请赛一等奖作品 - 《瞩暮行者》移动端
Java
1
star
26

Notes-Cross-Compile

交叉编译笔记
1
star
27

Electron-Guardian

2022年英特尔杯嵌入式专题邀请赛一等奖作品 - 《瞩暮行者》PC端
Vue
1
star
28

device_xiaomi_cezanne-1

[WIP && Force Push] Device Tree for Redmi K30 Ultra
Makefile
1
star