Skip to content
View joker881's full-sized avatar

Block or report joker881

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

repo of "SelfAPR: Self-supervised Program Repair with Test Execution Diagnostics" (ASE 22) https://oadoi.org/10.1145/3551349.3556926

Java 25 7 Updated Mar 4, 2024

🔥 官方推荐 🔥 RuoYi-Vue 全新 Pro 版本,优化重构所有功能。基于 Spring Boot + MyBatis Plus + Vue & Element 实现的后台管理系统 + 微信小程序,支持 RBAC 动态权限、数据权限、SaaS 多租户、Flowable 工作流、三方登录、支付、短信、商城、CRM、ERP、AI 大模型等功能。你的 ⭐️ Star ⭐️,是作者生发的动力!

Java 31,121 6,694 Updated May 23, 2025

PyTorch implementations of deep reinforcement learning algorithms and environments

Python 5,810 1,202 Updated Jul 25, 2024

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…

OCaml 5,111 682 Updated May 22, 2025

Real-Time SLAM for Monocular, Stereo and RGB-D Cameras, with Loop Detection and Relocalization Capabilities

C++ 9,795 4,730 Updated May 15, 2024

PySonar2: a semantic indexer for Python with interprocedual type inference

Java 1,411 505 Updated Oct 3, 2024

2018-CCF大数据与计算智能大赛-面向电信行业存量用户的智能套餐个性化匹配模型联通赛-复赛第二名-【多分类,embedding】

Python 340 151 Updated Dec 3, 2018

My slides and notes

Agda 137 6 Updated May 31, 2023

:octocat: 分享 GitHub 上有趣、入门级的开源项目。Share interesting, entry-level open source projects on GitHub.

Python 112,415 10,213 Updated May 13, 2025

人们往往接受流行,不是因为想要与众不同,而是因为害怕与众不同

HTML 443 43 Updated Nov 15, 2019

Spring Boot 系列实战合集

Java 4,705 1,493 Updated Dec 16, 2022

中文分词 词性标注 命名实体识别 依存句法分析 成分句法分析 语义依存分析 语义角色标注 指代消解 风格转换 语义相似度 新词发现 关键词短语提取 自动摘要 文本分类聚类 拼音简繁转换 自然语言处理

Python 35,075 10,612 Updated May 15, 2025

Microservice Architecture with Spring Boot, Spring Cloud and Docker

Java 13,523 6,236 Updated May 17, 2024

🍬A set of tools that keep Java sweet.

Java 29,847 7,595 Updated May 15, 2025

clang 中文用户手册&llvm 文档

392 108 Updated Feb 25, 2020

A JavaScript checker and optimizer.

Java 7,518 1,166 Updated May 22, 2025

A Small C Compiler

C 6,249 757 Updated May 2, 2024

Compilers Principles, Techniques, & Tools (purple dragon book) second edition exercise answers. 编译原理(紫龙书)第2版习题答案。

HTML 6,529 1,781 Updated May 15, 2024

Demonstrate all the questions on LeetCode in the form of animation.(用动画的形式呈现解LeetCode题目的思路)

Java 75,925 13,985 Updated Aug 14, 2023

All Algorithms implemented in Python

Python 200,743 46,799 Updated May 22, 2025

多核程序设计与实践-2018年第二学期课件

Shell 48 25 Updated Apr 14, 2020

Hobby os project with GUI

C 418 63 Updated Jul 24, 2023

T-io is a network programming framework developed based on Java AIO. From the collected cases, t-io is widely used for IoT, IM, and customer service, making it a top-notch network programming frame…

Java 1,827 571 Updated Apr 1, 2025

数据库引擎开发课程

Java 130 76 Updated Aug 24, 2020

经典编程书籍大全,涵盖:计算机系统与网络、系统架构、算法与数据结构、前端开发、后端开发、移动开发、数据库、测试、项目与团队、程序员职业修炼、求职面试等

14,897 3,480 Updated Aug 26, 2021

如何使用c++编写自己的操作系统(翻译项目)

C++ 36 11 Updated Aug 20, 2018

MIT操作系统工程的教学操作系统Xv6的源码剖析中文翻译项目,使用ANSI标准C重新在riscv架构上实现Unix v6;

Shell 334 138 Updated Feb 25, 2020

Repo for counting stars and contributing. Press F to pay respect to glorious developers.

272,311 21,098 Updated Oct 3, 2024

记录Python常用数值计算(线性代数)相关库的用法

Jupyter Notebook 11 6 Updated Nov 3, 2018

2018腾讯广告算法大赛baseline 线上0.73

Python 593 242 Updated Jun 8, 2018