Skip to content
View 14H034160212's full-sized avatar
📚
git checkout phd
📚
git checkout phd
34 followers · 119 following

Achievements

Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Pull SharkAchievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Pull SharkAchievement: StarstruckAchievement: Arctic Code Vault Contributor

Highlights

Organizations

@Strong-AI-Lab

Block or report 14H034160212

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

Starred repositories

2 stars written in Scala
Clear filter

STHSF / TextRank

基于PageRank的TextRank方法, 可以应用于中文关键词、短语、摘要提取程序，代码使用Scala编写。

Scala 129 53 Updated Jul 29, 2020

leoprover / Leo-III

An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics

Scala 45 10 Updated Feb 20, 2025

Starred topics