Most applications listed below are served from NixOS machines hosted on Digital Ocean. - Configuration files for each of my machines can be found here. + Configuration files for each of my machines can be found here. If interested in starting a similar hosting solution, consider getting a $200 credit using my referral link.
diff --git a/_posts/2015-03-24-mini-java.md b/_posts/2015-03-24-mini-java.md index 1b60a98..a5ca4ee 100644 --- a/_posts/2015-03-24-mini-java.md +++ b/_posts/2015-03-24-mini-java.md @@ -2,8 +2,8 @@ layout: post title: Mini Java categories: project -tags: [java] -href: "https://github.com/jrpotter/mini-java" +tags: [compiler, java] +href: "https://git.jrpotter.com/r/mini-java" image: java.png --- diff --git a/_posts/2015-06-20-fifth.md b/_posts/2015-06-20-fifth.md index a606457..e667b25 100644 --- a/_posts/2015-06-20-fifth.md +++ b/_posts/2015-06-20-fifth.md @@ -2,8 +2,8 @@ layout: post title: Fifth categories: project -tags: [python] -href: "https://github.com/jrpotter/fifth" +tags: [cellular-automata, python] +href: "https://git.jrpotter.com/r/fifth" image: conway-gol.jpg --- diff --git a/_posts/2015-10-01-pong.md b/_posts/2015-10-01-pong.md index 554b7eb..914272d 100644 --- a/_posts/2015-10-01-pong.md +++ b/_posts/2015-10-01-pong.md @@ -2,8 +2,8 @@ layout: post title: Pong categories: project -tags: [verilog] -href: "https://github.com/jrpotter/pong" +tags: [fpga, mips-assembly, verilog] +href: "https://git.jrpotter.com/r/pong" image: pong.jpg --- diff --git a/_posts/2017-07-25-vim-highlight.md b/_posts/2017-07-25-vim-highlight.md index b758325..5259246 100644 --- a/_posts/2017-07-25-vim-highlight.md +++ b/_posts/2017-07-25-vim-highlight.md @@ -2,8 +2,8 @@ layout: post title: Highlight Plugin categories: project -tags: [vim, vimscript] -href: "https://github.com/jrpotter/vim-highlight" +tags: [vim] +href: "https://git.jrpotter.com/r/vim-highlight" image: vim.png --- diff --git a/_posts/2017-07-25-vim-join.md b/_posts/2017-07-25-vim-join.md index 7c44af8..6523ea9 100644 --- a/_posts/2017-07-25-vim-join.md +++ b/_posts/2017-07-25-vim-join.md @@ -2,8 +2,8 @@ layout: post title: Join Plugin categories: project -tags: [vim, vimscript] -href: "https://github.com/jrpotter/vim-join" +tags: [vim] +href: "https://git.jrpotter.com/r/vim-join" image: vim.png --- diff --git a/_posts/2020-03-29-postlude.md b/_posts/2020-03-29-postlude.md index 0b8c466..f873eef 100644 --- a/_posts/2020-03-29-postlude.md +++ b/_posts/2020-03-29-postlude.md @@ -3,7 +3,7 @@ layout: post title: Postlude categories: project tags: [haskell] -href: "https://github.com/jrpotter/postlude" +href: "https://git.jrpotter.com/r/postlude" image: haskell.png --- diff --git a/_posts/2021-12-08-blog.md b/_posts/2021-12-08-blog.md index 7e00c8a..1f89a82 100644 --- a/_posts/2021-12-08-blog.md +++ b/_posts/2021-12-08-blog.md @@ -2,7 +2,7 @@ layout: post title: Blog categories: home -tags: [ruby, jekyll, nix] +tags: [jekyll, nix, ruby] href: "https://blog.jrpotter.com" image: jekyll.png --- diff --git a/_posts/2021-12-28-homesync.html b/_posts/2021-12-28-homesync.html index 1c6b0c4..04df6f8 100644 --- a/_posts/2021-12-28-homesync.html +++ b/_posts/2021-12-28-homesync.html @@ -2,8 +2,8 @@ layout: post title: Homesync categories: project -tags: [rust, git, nix] -href: "https://github.com/jrpotter/homesync" +tags: [git, nix, rust] +href: "https://git.jrpotter.com/r/homesync" image: git-branches.png --- diff --git a/_posts/2022-07-02-anki-synonyms.md b/_posts/2022-07-02-anki-synonyms.md index 08c5b1f..a0787dc 100644 --- a/_posts/2022-07-02-anki-synonyms.md +++ b/_posts/2022-07-02-anki-synonyms.md @@ -2,8 +2,8 @@ layout: post title: Anki Synonyms categories: project -tags: [python, anki] -href: "https://github.com/jrpotter/anki-synonyms" +tags: [anki, python] +href: "https://git.jrpotter.com/r/anki-synonyms" image: anki.png --- diff --git a/_posts/2023-02-05-bookshelf.md b/_posts/2023-02-05-bookshelf.md index 8892292..32454a7 100644 --- a/_posts/2023-02-05-bookshelf.md +++ b/_posts/2023-02-05-bookshelf.md @@ -2,7 +2,7 @@ layout: post title: Bookshelf categories: home -tags: [lean, latex, nix] +tags: [latex, lean, nix] href: "https://bookshelf.jrpotter.com" image: lean.svg --- diff --git a/_posts/2023-11-17-bootstrap.md b/_posts/2023-11-17-bootstrap.md index 55953be..92b987c 100644 --- a/_posts/2023-11-17-bootstrap.md +++ b/_posts/2023-11-17-bootstrap.md @@ -3,7 +3,7 @@ layout: post title: Bootstrap categories: project tags: [c, nix] -href: "https://github.com/jrpotter/bootstrap" +href: "https://git.jrpotter.com/r/bootstrap" image: shoelaces.jpg --- diff --git a/_posts/2023-12-10-nixos-configuration.md b/_posts/2023-12-10-nixos-configuration.md index ed0b16f..583615f 100644 --- a/_posts/2023-12-10-nixos-configuration.md +++ b/_posts/2023-12-10-nixos-configuration.md @@ -2,8 +2,8 @@ layout: post title: NixOS Configuration categories: project -tags: [nix] -href: "https://github.com/jrpotter/nixos-configuration" +tags: [lua, nix] +href: "https://git.jrpotter.com/r/nixos-configuration" image: nix.png --- diff --git a/_posts/2023-12-14-bookshelf-doc.md b/_posts/2023-12-14-bookshelf-doc.md index 873cf65..e4b2f46 100644 --- a/_posts/2023-12-14-bookshelf-doc.md +++ b/_posts/2023-12-14-bookshelf-doc.md @@ -2,12 +2,12 @@ layout: post title: Bookshelf Doc Generator categories: project -tags: [lean] -href: "https://github.com/jrpotter/bookshelf-doc" +tags: [latex, lean] +href: "https://git.jrpotter.com/r/bookshelf-doc" image: lean.svg --- A fork of [doc-gen4](https://github.com/leanprover/doc-gen4){:target="_blank"} -tightly coupled to my [bookshelf](https://github.com/jrpotter/bookshelf){:target="_blank"} +tightly coupled to my [bookshelf](https://git.jrpotter.com/r/bookshelf){:target="_blank"} project. This augments the `:docs` facet to convert LaTeX files into PDFs and then list them in the generated navbar.