Skip to content
View lucifer1004's full-sized avatar
💪
Hard working
💪
Hard working

Organizations

@JuliaCN @lfortran @JuliaRemoteSensing

Block or report lucifer1004

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse

Starred repositories

Showing results

The Goose Programming Language

C++ 158 4 Updated Sep 24, 2026

The headless browser for AI agents and web scraping

Rust 27,824 2,054 Updated Sep 25, 2026

Arbitrary verified fast precision floating point arithmetic in Lean, with proofs, optimized backends, and support for IEEE binary and decimal, posits, and custom formats.

SMT 54 5 Updated Sep 20, 2026

A training-free multi-agent framework for recursive self-improvement in new environments through broad-then-deep autonomous exploration and reusable memory.

Python 417 48 Updated Sep 16, 2026

SoL-Pi: Scaling Auto-Research Loops for Efficient Agent Harnesses

TypeScript 3,044 239 Updated Sep 25, 2026

A lightweight library for xPU kernel JIT compilation

C++ 335 32 Updated Sep 23, 2026

DeepSelect: TopK kernels for DeepSeek Sparse Attention (DSA) and Samplers

Cuda 389 29 Updated Sep 10, 2026

DeepSeek Harness: Everything is a Plugin.

TypeScript 235,236 28,297 Updated Sep 24, 2026

Production-ready MoE load balancing via real-time expert replication

Cuda 250 19 Updated Jul 17, 2026

Open Frontier Intelligence

8,854 741 Updated Aug 6, 2026

MoonEP: A Perfectly Balanced Expert Parallelism Library via Dynamic Redundant Experts

Python 1,153 134 Updated Sep 20, 2026

Programmatic memory for long-horizon LLM agents: the harness appends everything to one log, and the agent searches it with code. 97.4% on ARC-AGI-3 (arXiv:2607.20064)

Python 457 48 Updated Aug 21, 2026

Typst Open-Source Server for collaborative editing

TypeScript 14 3 Updated Jul 21, 2026

Atmospheric Transport Model in pure Julia - GPU-CPU capable, ERA or GEOS met sources, LatLon, Reduced Gaussian and CubeSphere Topologies

Julia 26 1 Updated Sep 7, 2026

AI agent toolkit: unified LLM API, agent loop, TUI, coding agent CLI

TypeScript 109,196 13,871 Updated Sep 24, 2026

Engine-agnostic LLM gateway in Rust. Full OpenAI & Anthropic API compatibility across vLLM, TRT-LLM, TokenSpeed, SGLang, OpenAI, Gemini & more. Industry-first gRPC pipeline, KV cache-aware routing,…

Rust 543 172 Updated Sep 25, 2026

A tutorial on modern GPU programming for machine learning systems

HTML 1,294 139 Updated Sep 3, 2026

An open source design system that's fully customizable and agent ready

TypeScript 13,349 1,152 Updated Sep 25, 2026

The open-source AI workbench for scientific research

TypeScript 3,636 488 Updated Sep 25, 2026

利用 Zotero 中文 CSL 开发组测试文献,测试十种支持 GB/T 7714 的参考文献引擎。

TypeScript 2 1 Updated Sep 21, 2026

DeepSpec: a full-stack codebase for training and evaluating speculative decoding algorithms

Python 7,162 669 Updated Jul 9, 2026

An open-source, PyTorch-like runtime for dynamic multi-agent and multi-session workflows.

Python 1,137 59 Updated Sep 23, 2026

Humming is a high-performance, lightweight, and highly flexible JIT (Just-In-Time) compiled GEMM kernel library specifically designed for quantized inference.

Python 238 43 Updated Sep 24, 2026

Testbed for LLM inference with cutile-rs.

Rust 96 17 Updated Jul 1, 2026

RTX 6000 Pro Wiki — Running Large LLMs (Qwen3.5-397B, Kimi-K2.5, GLM-5) on PCIe GPUs without NVLink

Python 1,100 83 Updated Sep 24, 2026

AIPerf is a comprehensive benchmarking tool that measures the performance of generative AI models served by your preferred inference solution.

Python 719 195 Updated Sep 24, 2026

Ongoing research training transformer models at scale

Python 13 1 Updated Sep 22, 2026
TypeScript 16,509 1,310 Updated Sep 25, 2026

Design the LSP(language server) but for Agent. native parser and ast understanding first.

Rust 3 Updated Sep 18, 2026

Agent-friendly GPU profile-query CLI

Rust 126 8 Updated Aug 21, 2026
Next