henry-hz's Stars
hatchet-dev/hatchet
A distributed, fault-tolerant task queue
temporalio/temporal
Temporal service
lftcm2023/lftcm2023
avigad/lamr
Logic and Mechanized Reasoning
madara-alliance/madara
Madara is a powerful hybrid Starknet client written in Rust.
e2b-dev/awesome-ai-agents
A list of AI autonomous agents
ufmg-smite/lean-smt
Tactics for discharging Lean goals into SMT solvers.
wellecks/llmstep
llmstep: [L]LM proofstep suggestions in Lean 4.
lean-dojo/LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
hyp1231/awesome-llm-powered-agent
Awesome things about LLM-powered agents. Papers / Repos / Blogs / ...
kaushikb11/awesome-llm-agents
A curated list of awesome LLM agents.
igorbenav/FastAPI-boilerplate
An extendable async API using FastAPI, Pydantic V2, SQLAlchemy 2.0, PostgreSQL and Redis.
makerdao/awesome-makerdao
A collection of tools, documents, articles, blog posts, interviews, and videos related to MakerDAO and the Dai stablecoin.
latex-lsp/tree-sitter-latex
LaTeX grammar for tree-sitter
alacritty/alacritty-theme
Collection of Alacritty color schemes
blanchette/logical_verification_2023
Hitchhiker's Guide to Logical Verification (2023 Edition)
echasnovski/mini.nvim
Library of 40+ independent Lua modules improving overall Neovim (version 0.8 and higher) experience with minimal effort
scalarwaves/dotfiles
alacritty, dotfiles, config, fish, helix, starship, sway, toml-bombadil, xplr, zellij
wez/wezterm
A GPU-accelerated cross-platform terminal emulator and multiplexer written by @wez and implemented in Rust
MeanderingProgrammer/render-markdown.nvim
Plugin to improve viewing Markdown files in Neovim
Robitx/gp.nvim
Gp.nvim (GPT prompt) Neovim AI plugin: ChatGPT sessions & Instructable text/code operations & Speech to text [OpenAI, Ollama, Anthropic, ..]
assafelovic/gpt-researcher
LLM based autonomous agent that conducts local and web research on any topic and generates a comprehensive report with citations.
reworkd/AgentGPT
🤖 Assemble, configure, and deploy autonomous AI Agents in your browser.
weaviate/Verba
Retrieval Augmented Generation (RAG) chatbot powered by Weaviate
enricoros/big-AGI
AI suite powered by state-of-the-art models and providing advanced AI/AGI functions. It features AI personas, AGI functions, multi-model chats, text-to-image, voice, response streaming, code highlighting and execution, PDF import, presets for developers, much more. Deploy on-prem or in the cloud.
korchasa/awesome-chatgpt
A curated list of awesome ChatGPT software.
starkware-libs/formal-proofs
mlc-ai/web-llm
High-performance In-browser LLM Inference Engine
zylon-ai/private-gpt
Interact with your documents using the power of GPT, 100% privately, no data leaks
PromtEngineer/localGPT
Chat with your documents on your local device using GPT models. No data leaves your device and 100% private.