Stars
A simple code complexity analyser without caring about the C/C++ header files or Java imports, supports most of the popular languages.
Transform arXiv papers into a single LaTeX source that can be used as a prompt for asking LLMs questions about the paper.
A thread-per-core Linux io_uring async runtime for Rust optimized for latency.
KAG is a logical form-guided reasoning and retrieval framework based on OpenSPG engine and LLMs. It is used to build logical reasoning and factual Q&A solutions for professional domain knowledge ba…
A machine learning software for extracting information from scholarly documents
Cottontail: A LLM-Driven Concolic Execution Engine (Accepted by IEEE S&P'26)
The code for NeurIPS 2025 paper "A-MEM: Agentic Memory for LLM Agents"
Retrieval-Augmented Theorem Provers for Lean
Securing open-source package ecosystems by originating, validating, and augmenting build attestations.
Hex diff viewer using alignment algorithms from biology
An transformer based LLM. Written completely in Rust
A docker-compose clone for Apple Container
High-Performance Implementation of OpenAI's TikToken.
Implement a ChatGPT-like LLM in PyTorch from scratch, step by step
A powerful tool for creating fine-tuning datasets for LLM
A Model Context Protocol server for searching and analyzing arXiv papers
Vision Transformer-Inspired Automated Vulnerability Repair
AI Agent leveraging symbolic reasoning and other auxiliary tools to boost its capabilities on various logic and reasoning benchmarks. This project aims to develop a robust and flexible AI system th…
A Flexible Framework for Experiencing Heterogeneous LLM Inference/Fine-tune Optimizations
This repo hosts the source for the DirectX Shader Compiler which is based on LLVM/Clang.
exo-explore / llama98.c
Forked from karpathy/llama2.cInference Llama models in one file of pure C for Windows 98 running on 25-year-old hardware
Modified Arch Linux packages for archriscv