Pinned Repositories
astar-dev-container
A VS Code dev container with Swanky and all the dependencies preinstalled
doom-emacs
An Emacs framework for the stubborn martian hacker
dot-emacs
My .emacs.el file and other personal Emacs goodies
Emacs-langtool
LanguageTool for Emacs
LaTeX-auto-activating-snippets
An Emacs Package
nano-splash
N Λ N O Splash
nix-config
org-inlinetask
SICP
SICP with Proof
zap-in-service
HyunggyuJang's Repositories
HyunggyuJang/nix-config
HyunggyuJang/zap-in-service
HyunggyuJang/doom-emacs
An Emacs framework for the stubborn martian hacker
HyunggyuJang/ai-pr-reviewer
AI-based Pull Request Summarizer and Reviewer with Chat Capabilities.
HyunggyuJang/AltaCV
Yet another alternative curriculum vitae/résumé class with LaTeX
HyunggyuJang/apc-extension
HyunggyuJang/apm-tutorial-golang
Tutorial for Golang applications using the Datadog Agent in popular configurations
HyunggyuJang/chatgpt-clone
Clone of ChatGPT, uses official model, reverse-engineered UI, with AI model switching, message search, and prompt templates (WIP)
HyunggyuJang/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 🚀
HyunggyuJang/config
A collection of machine configurations, expressed in Nix
HyunggyuJang/d2l-pytorch-sagemaker-studio-lab
HyunggyuJang/docs2
Docs website for the Mina Protocol.
HyunggyuJang/emgithub
Embed a file from GitHub repository just like GitHub Gist.
HyunggyuJang/GarrigueLecture
HyunggyuJang/home-manager
Manage a user environment using Nix [maintainer=@rycee]
HyunggyuJang/khoj
An AI personal assistant for your digital brain
HyunggyuJang/LEDGIS
HyunggyuJang/md-roam
Use Org-roam with markdown files by adding Md-roam as a plug-in. Mix org and markdown files in a single Org-roam database.
HyunggyuJang/nano-theme
GNU Emacs / N Λ N O Theme
HyunggyuJang/nix-darwin
nix modules for darwin
HyunggyuJang/nixpkgs
Nix Packages collection
HyunggyuJang/ntptutorial
Tutorial on neural theorem proving
HyunggyuJang/obsidian-copilot-auto-completion
HyunggyuJang/obsidian-excalidraw-plugin
A plugin to edit and view Excalidraw drawings in Obsidian
HyunggyuJang/org-cv
HyunggyuJang/org-excalidraw
HyunggyuJang/outside-in
Formalisation of The GHC Team's OutsideIn(X) in Agda.
HyunggyuJang/Vim
:star: Vim for Visual Studio Code
HyunggyuJang/vscode-nix-experiment
HyunggyuJang/VSpaceCode
Spacemacs like keybindings for Visual Studio Code