HyunggyuJang

nix-config

zap-in-service

LaTeX-auto-activating-snippets

An Emacs Package

ai-pr-reviewer

AI-based Pull Request Summarizer and Reviewer with Chat Capabilities.

AltaCV

Yet another alternative curriculum vitae/résumé class with LaTeX

apc-extension

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

d2l-pytorch-sagemaker-studio-lab

docs2

Docs website for the Mina Protocol.

doom-emacs

An Emacs framework for the stubborn martian hacker

emgithub

Embed a file from GitHub repository just like GitHub Gist.

GarrigueLecture

HoTT

Homotopy type theory

khoj

An AI personal assistant for your digital brain

LEDGIS

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.

nano-theme

GNU Emacs / N Λ N O Theme

nix-darwin

nix modules for darwin

nixpkgs

Nix Packages collection

ntptutorial

Tutorial on neural theorem proving

obsidian-copilot-auto-completion

obsidian-excalidraw-plugin

A plugin to edit and view Excalidraw drawings in Obsidian

org-cv

org-excalidraw

outside-in

Formalisation of The GHC Team's OutsideIn(X) in Agda.

Vim

:star: Vim for Visual Studio Code

vscode-nix-experiment

VSpaceCode

Spacemacs like keybindings for Visual Studio Code