hohieuai/awesome-formal-verification
An awesome repository of formal verification resources
Software Engineer | AI Engineer & Researcher
Repositories
hohieuai/MoodBuilder
An AI-powered mood journaling platform designed to enhance your mental wellbeing by providing actionable insights, personalized feedback, and an interactive AI agent to support your emotional health journey.
hohieuai/hohieuai
hohieuai/alphaproof-nexus-results
Lean math proofs generated by AlphaProof Nexus and accompanying natural language prose proofs.
hohieuai/amp-contrib
Curated skills, tools, MCPs and commands for Amp
hohieuai/grok-build
SpaceXAI's coding agent harness and TUI. Fullscreen, mouse interactive, extensible.
hohieuai/gstack
Use Garry Tan's exact Claude Code setup: 23 opinionated tools that serve as CEO, Designer, Eng Manager, Release Manager, Doc Engineer, and QA
hohieuai/gbrain
Garry's Opinionated OpenClaw/Hermes Agent Brain
hohieuai/hackable_diffusion
hohieuai/SimCSE
[EMNLP 2021] SimCSE: Simple Contrastive Learning of Sentence Embeddings https://arxiv.org/abs/2104.08821
hohieuai/Token-level-Direct-Preference-Optimization
Reference implementation for Token-level Direct Preference Optimization(TDPO)
hohieuai/unsloth
Fine-tuning & Reinforcement Learning for LLMs. 🦥 Train OpenAI gpt-oss, DeepSeek-R1, Qwen3, Gemma 3, TTS 2x faster with 70% less VRAM.
hohieuai/servers
Model Context Protocol Servers
hohieuai/claude-code-action
hohieuai/ripgrep
ripgrep recursively searches directories for a regex pattern while respecting your gitignore
hohieuai/TrustLLM
[ICML 2024] TrustLLM: Trustworthiness in Large Language Models
hohieuai/A2A
An open protocol enabling communication and interoperability between opaque agentic applications.
hohieuai/openai-node
Official JavaScript / TypeScript library for the OpenAI API
hohieuai/openai-agents-python
A lightweight, powerful framework for multi-agent workflows
hohieuai/codex
Lightweight coding agent that runs in your terminal
hohieuai/model-context-protocol-pinai-agent
hohieuai/openai-cookbook
Examples and guides for using the OpenAI API
hohieuai/HonestyLLM
[NeurIPS 2024] HonestLLM: Toward an Honest and Helpful Large Language Model
hohieuai/composio
Composio equip's your AI agents & LLMs with 100+ high-quality integrations via function calling
hohieuai/llama.cpp
LLM inference in C/C++
hohieuai/DeepSeek-V3
hohieuai/DeepSeek-R1
hohieuai/awesome-deepseek-integration
hohieuai/Janus
Janus-Series: Unified Multimodal Understanding and Generation Models
hohieuai/vllm
A high-throughput and memory-efficient inference and serving engine for LLMs