funfwo
Follow
Stars
Natural Deduction Proof Assistant (NADIA) is a tool for teaching Natural Deduction in Fitch-Style
An open-source, customizable intermediate logic textbook
A Comprehensive Toolkit for High-Quality PDF Content Extraction
Constraint Solving Problem resolver for Python
A survey of many classes of partially ordered algebras in LaTeX/PDF format
Offline Text To Speech synthesis for python
收集全国各高校招生时不会写明，却会实实在在影响大学生活质量的要求与细节
aider is AI pair programming in your terminal
Grandmaster-Level Chess Without Search
A directed multi-graph library for JavaScript
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…
FinGPT: Open-Source Financial Large Language Models! Revolutionize 🔥 We release the trained model on HuggingFace.
The fastest pure-Python PEG parser I can muster
ChatGLM3 series: Open Bilingual Chat LLMs | 开源双语对话语言模型
Open foundation models, such LLama2, ChatGLM, etc.
🔨 🍇 💻 🚀 GraphScope: A One-Stop Large-Scale Graph Computing System from Alibaba | 一站式图计算系统
PyGCL: A PyTorch Library for Graph Contrastive Learning
A highly scalable real-time graphing system
GraphVite: A General and High-performance Graph Embedding System
Configurable Generation of Synthetic Schemas and Knowledge Graphs at Your Fingertips
LibKGE - A knowledge graph embedding library for reproducible research