Skip to content
View funfwo's full-sized avatar
Block or Report

Block or report funfwo

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

Natural Deduction Proof Assistant (NADIA) is a tool for teaching Natural Deduction in Fitch-Style

Python 29 Updated Nov 27, 2023

明医 (MING):中文医疗问诊大模型

Python 773 95 Updated Jun 6, 2024

An open-source, customizable intermediate logic textbook

TeX 1,025 236 Updated Jul 26, 2024

badass terminal graphics library

Python 418 4 Updated Jul 26, 2024

A Comprehensive Toolkit for High-Quality PDF Content Extraction

Python 3,281 204 Updated Jul 26, 2024

Constraint Solving Problem resolver for Python

Python 419 64 Updated Jun 7, 2024

A survey of many classes of partially ordered algebras in LaTeX/PDF format

TeX 1 Updated Nov 26, 2022

Hypergraph Algorithms Package

Python 96 22 Updated Jul 6, 2023

Offline Text To Speech synthesis for python

Python 2,014 322 Updated Jul 11, 2024

收集全国各高校招生时不会写明,却会实实在在影响大学生活质量的要求与细节

Python 2,358 407 Updated Jul 21, 2024

aider is AI pair programming in your terminal

Python 14,594 1,376 Updated Jul 27, 2024

Grandmaster-Level Chess Without Search

Python 46 5 Updated Jun 14, 2024
Python 285 53 Updated Jun 20, 2024

A directed multi-graph library for JavaScript

JavaScript 1,560 233 Updated Jul 17, 2024

altgraph is a fork of graphlib: a graph (network) package for constructing graphs, BFS and DFS traversals, topological sort, shortest paths, etc. with graphviz output. altgraph includes some additi…

Python 20 7 Updated Sep 25, 2023

FinGPT: Open-Source Financial Large Language Models! Revolutionize 🔥 We release the trained model on HuggingFace.

Jupyter Notebook 12,741 1,807 Updated Jul 18, 2024

GraphQL framework for Python

Python 8,032 818 Updated Jul 16, 2024

The fastest pure-Python PEG parser I can muster

Python 1,791 126 Updated Jul 2, 2024

ChatGLM3 series: Open Bilingual Chat LLMs | 开源双语对话语言模型

Python 13,174 1,518 Updated Jul 10, 2024

Open foundation models, such LLama2, ChatGLM, etc.

85 9 Updated Jul 1, 2024

东南大学《知识图谱》研究生课程

3,871 1,102 Updated Apr 29, 2024

🔨 🍇 💻 🚀 GraphScope: A One-Stop Large-Scale Graph Computing System from Alibaba | 一站式图计算系统

C++ 3,201 431 Updated Jul 27, 2024

A simple graph library

Python 81 18 Updated Apr 29, 2024

PyGCL: A PyTorch Library for Graph Contrastive Learning

Python 858 97 Updated Jul 11, 2024

A highly scalable real-time graphing system

JavaScript 5,875 1,261 Updated Jun 15, 2024

GraphVite: A General and High-performance Graph Embedding System

C++ 1,204 151 Updated Jun 14, 2024

Configurable Generation of Synthetic Schemas and Knowledge Graphs at Your Fingertips

Python 660 45 Updated Jul 11, 2024

LibKGE - A knowledge graph embedding library for reproducible research

Python 748 124 Updated Apr 8, 2024
Python 15 4 Updated May 26, 2023
Next