Lists (1)
Starred repositories
Recipes for avoiding bounds checks in Rust, without unsafe!
alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, 2024, 2025)
Alpha-Beta Semantic Hypergraph Parser
The simplest, fastest repository for training/finetuning medium-sized GPTs.
An inductive logic programming system
ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
Python library to parse and convert Sigma rules into queries (and whatever else you could imagine)
eSLIM++ - efficient Subjective Logic IMplementation in c++ and Python
ChatterBot is a machine learning, conversational dialog engine for creating chat bots
中文分词 词性标注 命名实体识别 依存句法分析 成分句法分析 语义依存分析 语义角色标注 指代消解 风格转换 语义相似度 新词发现 关键词短语提取 自动摘要 文本分类聚类 拼音简繁转换 自然语言处理
Implement a ChatGPT-like LLM in PyTorch from scratch, step by step
There can be more than Notion and Miro. AFFiNE(pronounced [ə‘fain]) is a next-gen knowledge base that brings planning, sorting and creating all together. Privacy first, open-source, customizable an…
Mt-KaHyPar (Multi-Threaded Karlsruhe Hypergraph Partitioner) is a shared-memory multilevel graph and hypergraph partitioner equipped with parallel implementations of techniques used in the best seq…
KaHyPar (Karlsruhe Hypergraph Partitioning) is a multilevel hypergraph partitioning framework providing direct k-way and recursive bisection based partitioning algorithms that compute solutions of …
Cleora AI is a general-purpose open-source model for efficient, scalable learning of stable and inductive entity embeddings for heterogeneous relational data. Created by Synerise.com team.
RiverText is a framework that standardizes the Incremental Word Embeddings proposed in the state-of-art. Please feel welcome to open an issue in case you have any questions or a pull request if you…
Boolean Hypervectors with various operators for experiments in hyperdimensional computing (HDC).
Experimental study of causal and Bayesian approaches to continual learning
An implementation of metamo (a motivation system integrating magus and openpsi)