Skip to content
View appanp's full-sized avatar

Block or report appanp

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

The simplest, fastest repository for training/finetuning medium-sized GPTs.

Python 53,964 9,137 Updated Nov 12, 2025

Glamourous agentic coding for all 💘

Go 20,664 1,279 Updated Mar 1, 2026

[Arxiv] Discrete Diffusion in Large Language and Multimodal Models: A Survey

Python 368 3 Updated Nov 1, 2025

LLaDA is a diffusion model for natural language that, unlike traditional autoregressive models, learns to model the distribution of text through a process of progressive data masking and its invers…

Python 21 2 Updated Dec 8, 2025

The official GitHub repo for the survey paper "A Survey on Diffusion Language Models".

812 35 Updated Feb 3, 2026

Offline speech recognition API for Android, iOS, Raspberry Pi and servers with Python, Java, C# and Node

Jupyter Notebook 14,305 1,678 Updated Feb 22, 2026

Official repository for TPAMI2024 "A Survey of Label-Efficient Deep Learning for 3D Point Clouds"

62 1 Updated Jun 5, 2023

Tools based on AI for helping with Lean 4

Lean 115 16 Updated Mar 1, 2026
Jupyter Notebook 382 42 Updated Dec 1, 2021
Lean 26 4 Updated Jul 16, 2025

[COLM 2024] A Survey on Deep Learning for Theorem Proving

218 16 Updated May 28, 2025

Tool for data extraction and interacting with Lean programmatically.

Python 770 117 Updated Jan 18, 2026

The math library of Lean 4

Lean 2,950 1,111 Updated Mar 1, 2026

Retrieval-Augmented Theorem Provers for Lean

Python 316 69 Updated Jan 30, 2025

Pocket Flow: Codebase to Tutorial

Python 12,106 1,383 Updated Oct 24, 2025

Command-line XML and HTML beautifier and content extractor

Go 1,087 33 Updated Feb 27, 2026

Structured state space sequence models

Jupyter Notebook 2,854 352 Updated Jul 17, 2024

Python SDK, Proxy Server (AI Gateway) to call 100+ LLM APIs in OpenAI (or native) format, with cost tracking, guardrails, loadbalancing and logging. [Bedrock, Azure, OpenAI, VertexAI, Cohere, Anthr…

Python 37,345 6,055 Updated Mar 1, 2026

An extremely fast CSS parser, transformer, bundler, and minifier written in Rust.

Rust 7,429 244 Updated Feb 19, 2026

Hackable CLI tool for converting Markdown files to PDF using Node.js and headless Chrome.

TypeScript 1,694 136 Updated Dec 3, 2025

Run frontier LLMs and VLMs with day-0 model support across GPU, NPU, and CPU, with comprehensive runtime coverage for PC (Python/C++), mobile (Android & iOS), and Linux/IoT (Arm64 & x86 Docker). Su…

Kotlin 7,746 953 Updated Feb 26, 2026

Low-latency AI engine for mobile devices & wearables

C 4,393 323 Updated Feb 28, 2026

🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]

Jupyter Notebook 80 13 Updated Jan 2, 2024

MiniMax-M1, the world's first open-weight, large-scale hybrid-attention reasoning model.

Python 3,104 275 Updated Jul 7, 2025

💫 Toolkit to help you get started with Spec-Driven Development

Python 72,945 6,263 Updated Feb 27, 2026

Using Docling to create an AI assistant out of any PDF book in minutes

Python 98 31 Updated Jul 5, 2025

A Flexible Framework for Experiencing Heterogeneous LLM Inference/Fine-tune Optimizations

Python 16,638 1,217 Updated Feb 28, 2026

The original source code of Microsoft GW-BASIC from 1983

C++ 3,483 538 Updated May 22, 2020
Python 75 4 Updated May 22, 2025

Koog is the official Kotlin framework for building predictable, fault-tolerant and enterprise-ready AI agents across all platforms – from backend services to Android and iOS, JVM, and even in-brows…

Kotlin 3,762 329 Updated Mar 1, 2026
Next