- Beijing, China.
- http://p.cooliktas.com/
- All languages
- Arduino
- Astro
- Batchfile
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Cuda
- Cython
- Dart
- Dockerfile
- Emacs Lisp
- Go
- HTML
- Haskell
- Java
- JavaScript
- Jinja
- Jupyter Notebook
- Kotlin
- Lean
- Less
- Lua
- MATLAB
- MDX
- Makefile
- Markdown
- Mojo
- Mustache
- Nim
- Objective-C
- PHP
- Protocol Buffer
- Python
- Racket
- Rich Text Format
- Roff
- Ruby
- Rust
- SCSS
- Scala
- Shell
- Smarty
- Swift
- SystemVerilog
- TeX
- Terra
- TypeScript
- Vim Script
- Vue
- WebAssembly
Starred repositories
Hurl, run and test HTTP requests with plain text.
An open-source AI agent that brings the power of Gemini directly into your terminal.
Jan is an open source alternative to ChatGPT that runs 100% offline on your computer
DuckDB is an analytical in-process SQL database management system
🚀 10x easier, 🚀 140x lower storage cost, 🚀 high performance, 🚀 petabyte scale - Elasticsearch/Splunk/Datadog alternative for 🚀 (logs, metrics, traces, RUM, Error tracking, Session replay).
很多镜像都在国外。比如 gcr 。国内下载很慢,需要加速。致力于提供连接全世界的稳定可靠安全的容器镜像服务。
Get started with building Fullstack Agents using Gemini 2.5 and LangGraph
🔩 The open-source serverless platform. Easily deploy & scale AI agents, complex workloads, and backends — all on a frictionless platform that runs anywhere.
Fully Local Manus AI. No APIs, No $200 monthly bills. Enjoy an autonomous agent that thinks, browses the web, and code for the sole cost of electricity. 🔔 Official updates only via twitter @Martin9…
Lean 4 programming language and theorem prover
AI enabled pair programmer for Claude, GPT, O Series, Grok, Deepseek, Gemini and 300+ models
A modular, documentation-driven framework using Cursor custom modes (VAN, PLAN, CREATIVE, IMPLEMENT) to provide persistent memory and guide AI through a structured development workflow with visual …
Core validation logic for pydantic written in rust
A high-performance library for numerically solving differential equations in Rust
Distributed SQL database in Rust, written as an educational project
Build Real-Time Knowledge Graphs for AI Agents
Collection of leaked system prompts
Course to get into Large Language Models (LLMs) with roadmaps and Colab notebooks.
FlowGram is a node-based flow building engine that helps developers quickly create workflows in either fixed layout or free connection layout modes
DeerFlow is a community-driven Deep Research framework, combining language models with tools like web search, crawling, and Python execution, while contributing back to the open-source community.
UI components for building fantastic desktop application by using GPUI.
real time face swap and one-click video deepfake with only a single image