📈 GH Trending Explorer 🎲 Surprise me

Search: reason · clear

DeepSeekV4Flash0731 / DeepSeek-V4-Flash-0731

DeepSeek V4 Flash 0731 - free deepseek v4 flash download, gguf, ollama, deepseek v4 pro 0813. deepseek v4 flash vs pro, benchmark, MoE, 1M context, compressed sparse attention, coding. CUDA/CPU, no API key, Windows local AI. Download:🡇

▲ ~7/7d ★ 28 C++ 1mo ago
Krishita17 / PhantomTap

A Flipper Zero that stops guessing and starts reasoning: ML-guided RFID/NFC fuzzing & access-control auditing that turns raw card reads into a prioritized, explainable security assessment. Defensive-use only.

▲ ~7/7d ★ 26 Python 1mo ago
reasonml / reason

Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

▲ ~0/7d ★ 10k OCaml 18d ago
zilliztech / deep-searcher

Open Source Deep Research Alternative to Reason and Search on Private Data. Written in Python.

▲ ~0/7d ★ 8.3k Python 1mo ago
open-compass / opencompass

OpenCompass is an LLM evaluation platform, supporting a wide range of models from OpenAI, Anthropic, Gemini, Qwen, GLM, DeepSeek, etc, across 100+ datasets covering knowledge, reasoning, coding, science, language, long-context, and safety.

▲ ~0/7d ★ 7.5k Python 1d ago
rllm-org / rllm

Democratizing Reinforcement Learning for LLMs

▲ ~0/7d ★ 5.9k Python 5d ago
kyegomez / tree-of-thoughts

Plug in and Play Implementation of Tree of Thoughts: Deliberate Problem Solving with Large Language Models that Elevates Model Reasoning by atleast 70%

▲ ~0/7d ★ 4.6k Python 23d ago
typedb / typedb

TypeDB: Built for systems, not records

▲ ~0/7d ★ 4.5k Rust today
tensorflow / probability

Probabilistic reasoning and statistical analysis in TensorFlow

▲ ~0/7d ★ 4.4k Jupyter Notebook today
microsoft / PhiCookBook

This is a Phi Family of SLMs book for getting started with Phi Models. Phi a family of open sourced AI models developed by Microsoft. Phi models are the most capable and cost-effective small language models (SLMs) available, outperforming models of the same size and next size up across a variety of language, reasoning, coding, and math benchmarks

▲ ~0/7d ★ 3.9k Jupyter Notebook 1d ago
facebookresearch / ReAgent

A platform for Reasoning systems (Reinforcement Learning, Contextual Bandits, etc.)

▲ ~0/7d ★ 3.7k Python 2d ago
griptape-ai / griptape

Modular Python framework for AI agents and workflows with chain-of-thought reasoning, tools, and memory.

▲ ~0/7d ★ 2.6k Python 1d ago
penecho / penecho

Think with AI beyond the chat box. A shared canvas for handwriting, equations, diagrams, and spatial reasoning.

▲ ~0/7d ★ 2.5k JavaScript 1d ago
zai-org / GLM-V

GLM-4.6V/4.5V/4.1V-Thinking: Towards Versatile Multimodal Reasoning with Scalable Reinforcement Learning

▲ ~0/7d ★ 2.4k Python 5d ago
onestardao / WFGY

WFGY is heading toward WFGY 5.0 Polaris Protocol, a major open-source release for AI reasoning, RAG, agents, and real-world workflows. Includes Problem Map, Global Debug Card, WFGY 4.0, and the CFV Easter Egg.

▲ ~0/7d ★ 1.8k Jupyter Notebook 1d ago
zhaochen0110 / Awesome_Think_With_Images

Resources and paper list for "Thinking with Images for LVLMs". This repository accompanies our survey on how LVLMs can leverage visual information for complex reasoning, planning, and generation.

▲ ~0/7d ★ 1.5k 14d ago
octotools / octotools

OctoTools: An agentic framework with extensible tools for complex reasoning

▲ ~0/7d ★ 1.5k Python 2d ago
m0n0x41d / haft

Engineering decisions engine that know when they're stale. Frame, compare, decide — with evidence decay and parity enforcement. For Claude Code, Cursor, Gemini CLI, Codex and more.

▲ ~0/7d ★ 1.4k Go 23d ago
Zefan-Cai / R-KV

[Neurips 2025] R-KV: Redundancy-aware KV Cache Compression for Reasoning Models

▲ ~0/7d ★ 1.2k Python 3d ago
hazelgrove / hazel

Hazel, a live functional programming environment with typed holes

▲ ~0/7d ★ 1.2k Reason today
melange-re / melange

A mixture of tooling combined to produce JavaScript from OCaml & Reason

▲ ~0/7d ★ 993 OCaml 2d ago
AgileRL / AgileRL

The complete post-training stack for LLMs, plus RL for any problem. SFT, DPO and multi-turn agentic RL, with evolutionary hyperparameter optimization built in.

▲ ~0/7d ★ 959 Python today
NVIDIA-AI-Blueprints / deep-researcher-agent

The NVIDIA Deep Researcher Agent Blueprint is an open reference example for building intelligent AI agents that connect to your enterprise data, reason using state-of-the-art models, and deliver trusted business insights.

▲ ~0/7d ★ 905 Python 12d ago
mccutchen / go-httpbin

A reasonably complete and well-tested golang port of httpbin, with zero dependencies outside the go stdlib.

▲ ~0/7d ★ 887 Go 7d ago
esy / esy

package.json workflow for native development with Reason/OCaml

▲ ~0/7d ★ 853 Reason 27d ago
ichiban / prolog

The only reasonable scripting engine for Go.

▲ ~0/7d ★ 734 Go 2d ago
litexlang / golitex

Litex: write math, get formalized code. Because the math already is.

▲ ~0/7d ★ 674 Rust today
sunrainyg / RandOpt

Official Codebase for "Neural Thickets: Diverse Task Experts Are Dense Around Pretrained Weights" (ICML 2026 Spotlight)

▲ ~0/7d ★ 656 Python 1mo ago
davesnx / query-json

Faster, simpler and more portable implementation of jq-inspired language in OCaml

▲ ~0/7d ★ 640 OCaml 1d ago
ZebangCheng / Emotion-LLaMA

Emotion-LLaMA: Multimodal Emotion Recognition and Reasoning with Instruction Tuning

▲ ~0/7d ★ 628 Python 28d ago
hkqr / my-free-code

Open-source multi-provider AI gateway for Claude Code and other coding agents, with model routing, streaming, tools, reasoning, fallbacks, and local model support

▲ ~0/7d ★ 624 Python 1d ago
FerroxLabs / wayland

Wayland - The AI Agent That Perceives. Reasons. Acts. Evolves.

▲ ~0/7d ★ 613 TypeScript 1d ago
PV-Bhat / vibe-check-mcp-server

Vibe Check is a tool that provides mentor-like feedback to AI Agents, preventing tunnel-vision, over-engineering and reasoning lock-in for complex and long-horizon agent workflows. KISS your over-eager AI Agents goodbye! Effective for: Coding, Ambiguous Tasks, High-Risk tasks

▲ ~0/7d ★ 502 TypeScript today
UditAkhourii / neuroarxiv

A skill to kill from-scratch coding — Claude checks real arXiv prior art before it designs a new architecture.

▲ ~0/7d ★ 436 TypeScript 1mo ago
vinilana / jev-gateway

An easy way to use jev with your coding agent for tool calling reasoning

▲ ~0/7d ★ 320 TypeScript 3d ago
miuuyy / Astra-Ares

Adaptive reasoning effort for GPT-6 during Codex tasks, powered by Jev to reduce token usage.

▲ ~0/7d ★ 310 JavaScript 15d ago
openaiotlab / CUHK-X

[MobiSys 2026] A large-scale, multimodal dataset and benchmark for Human Action Recognition, Understanding and Reasoning

▲ ~0/7d ★ 302 Python 17d ago
Nwflower / dsh-chat-import

Import conversation history from 25+ AI coding agents into DeepSeek Harness as resumable sessions — tool calls, reasoning and results kept intact, with reverse export and sync. | 把 25+ AI 编程 Agent 的聊天记录导入 DeepSeek Harness 继续对话,保留工具调用、推理与结果,支持反向导出与同步。

▲ ~0/7d ★ 247 JavaScript today
PerryLink / dsh-auto-review

Second-model AI auto-review for DeepSeek Harness approval requests: a read-only reviewer subagent returns structured allow/deny verdicts with reasons, fail-closed by default, fully auditable from the session log (approval/asked -> autoReview/verdict -> approval/decided).

▲ ~0/7d ★ 234 TypeScript today
CharlesFeng0314 / JEV_sees

Eyes are All JEV Needs - real time visual devisions from RGB, video and RGB-D cameras.

▲ ~0/7d ★ 212 Python 10d ago
MoMoM101 / RAG-ReActAgent

RAG ReAct Agent - A Retrieval-Augmented Generation system with ReAct (Reasoning+Acting) agent loop for intelligent question answering with multi-hop reasoning

▲ ~0/7d ★ 209 Python 3d ago
MirroS-Lab / S-Space

S-Space: Exploring Spatial Workspace in Multimodal Models

▲ ~0/7d ★ 176 Python 9d ago
HVision-NKU / OraRL

🎬 OraRL — Annotations as Rollouts for efficient, scalable reinforcement learning of unified video MLLMs.

▲ ~0/7d ★ 159 Python 1mo ago

Load more →