HyunggyuJang's repositories
doom-emacs
An Emacs framework for the stubborn martian hacker
LaTeX-auto-activating-snippets
An Emacs Package
ai-pr-reviewer
AI-based Pull Request Summarizer and Reviewer with Chat Capabilities.
chatgpt-clone
Clone of ChatGPT, uses official model, reverse-engineered UI, with AI model switching, message search, and prompt templates (WIP)
code-review-gpt
Your personal code reviewer powered by LLMs (OpenAI GPT-3.5/4, Llama, Falcon, Azure AI) & Embeddings ⚡️ Improve code quality and catch bugs before you break production 🚀
config
A collection of machine configurations, expressed in Nix
nano-theme
GNU Emacs / N Λ N O Theme
nix-darwin
nix modules for darwin
ntptutorial
Tutorial on neural theorem proving
obsidian-excalidraw-plugin
A plugin to edit and view Excalidraw drawings in Obsidian
outside-in
Formalisation of The GHC Team's OutsideIn(X) in Agda.
VSpaceCode
Spacemacs like keybindings for Visual Studio Code