RaVincentHuang's Stars
benedekrozemberczki/littleballoffur
Little Ball of Fur - A graph sampling extension library for NetworKit and NetworkX (CIKM 2020)
chen760316/Rovas
The influence of outliers on supervised models of machine learning
spearman/formal-logic
LaTeX Notes on Mathematical Logic
ElegantLaTeX/ElegantBook
Elegant LaTeX Template for Books
betterenvi/gSpan
Python implementation of frequent subgraph mining algorithm gSpan. Directed graphs are supported.
atfortes/Awesome-LLM-Reasoning
Reasoning in Large Language Models: Papers and Resources, including Chain-of-Thought, Instruction-Tuning and Multimodality.
XiaoxinHe/Awesome-Graph-LLM
A collection of AWESOME things about Graph-Related LLMs.
microsoft/WSL
Issues found on WSL
RaVincentHuang/Pyro
walter201230/Python
最良心的 Python 教程:
tensorflow/tensorflow
An Open Source Machine Learning Framework for Everyone
michel-steuwer/typst-acmart
Typst template mimicking acmart latex class
typst/templates
Templates that are directly maintained by the Typst team.
wychwitch/typst-mla9-template
A very typst template for use in MLA formats. Pull requests and issues VERY welcome!!!
mrwunderbar666/typst-apa7ish
Typst Template that (mostly) complies with APA7 Style (Work in Progress)
typst/typst
A new markup-based typesetting system that is powerful and easy to learn.
Jackpopc/DevWeekly
每周五发布,精选优质开发者内容,包括开源项目、工具资源、技术文章等方面。
retorquere/zotero-better-bibtex
Make Zotero effective for us LaTeX holdouts
MuiseDestiny/zotero-style
Ethereal Style for Zotero
MuiseDestiny/zotero-reference
PDF references add-on for Zotero.
MuiseDestiny/zotero-gpt
GPT Meet Zotero.
weaviate/weaviate
Weaviate is an open-source vector database that stores both objects and vectors, allowing for the combination of vector search with structured filtering with the fault tolerance and scalability of a cloud-native database.
qdrant/qdrant
Qdrant - High-performance, massive-scale Vector Database for the next generation of AI. Also available in the cloud https://cloud.qdrant.io/
milvus-io/milvus
A cloud-native vector database, storage for next generation AI applications
chroma-core/chroma
the AI-native open-source embedding database
xx025/carrot
Free ChatGPT Site List 这儿为你准备了众多免费好用的ChatGPT镜像站点
coq/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
thousandlemons/Database-Normalization-Solver
A Java library to handle attributes and functional dependencies, and to solve database normalization related problems, including closure, minimal basis, projection, and decomposition to BCNF and 3NF, etc.
romulusFR/functional_dependencies
A CLI for basic algorithms on functional dependencies
RaVincentHuang/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.