Point to forgejo and match tags.

main
Joshua Potter 2023-12-23 22:00:26 -07:00
parent 6584084b67
commit a2cd712ae0
14 changed files with 24 additions and 24 deletions

View File

@ -5,7 +5,7 @@ layout: default
<p class="home-description"> <p class="home-description">
Most applications listed below are served from <a href="https://nixos.org/" target="_blank">NixOS</a> Most applications listed below are served from <a href="https://nixos.org/" target="_blank">NixOS</a>
machines hosted on <a href="https://www.digitalocean.com/" target="_blank">Digital Ocean</a>. machines hosted on <a href="https://www.digitalocean.com/" target="_blank">Digital Ocean</a>.
Configuration files for each of my machines can be found <a href="https://github.com/jrpotter/nixos-configuration" target="_blank">here</a>. Configuration files for each of my machines can be found <a href="https://git.jrpotter.com/r/nixos-configuration" target="_blank">here</a>.
If interested in starting a similar hosting solution, consider getting a $200 If interested in starting a similar hosting solution, consider getting a $200
credit using my <a href="https://m.do.co/c/c65b89434c1b" target="_blank">referral link</a>. credit using my <a href="https://m.do.co/c/c65b89434c1b" target="_blank">referral link</a>.
</p> </p>

View File

@ -2,8 +2,8 @@
layout: post layout: post
title: Mini Java title: Mini Java
categories: project categories: project
tags: [java] tags: [compiler, java]
href: "https://github.com/jrpotter/mini-java" href: "https://git.jrpotter.com/r/mini-java"
image: java.png image: java.png
--- ---

View File

@ -2,8 +2,8 @@
layout: post layout: post
title: Fifth title: Fifth
categories: project categories: project
tags: [python] tags: [cellular-automata, python]
href: "https://github.com/jrpotter/fifth" href: "https://git.jrpotter.com/r/fifth"
image: conway-gol.jpg image: conway-gol.jpg
--- ---

View File

@ -2,8 +2,8 @@
layout: post layout: post
title: Pong title: Pong
categories: project categories: project
tags: [verilog] tags: [fpga, mips-assembly, verilog]
href: "https://github.com/jrpotter/pong" href: "https://git.jrpotter.com/r/pong"
image: pong.jpg image: pong.jpg
--- ---

View File

@ -2,8 +2,8 @@
layout: post layout: post
title: Highlight Plugin title: Highlight Plugin
categories: project categories: project
tags: [vim, vimscript] tags: [vim]
href: "https://github.com/jrpotter/vim-highlight" href: "https://git.jrpotter.com/r/vim-highlight"
image: vim.png image: vim.png
--- ---

View File

@ -2,8 +2,8 @@
layout: post layout: post
title: Join Plugin title: Join Plugin
categories: project categories: project
tags: [vim, vimscript] tags: [vim]
href: "https://github.com/jrpotter/vim-join" href: "https://git.jrpotter.com/r/vim-join"
image: vim.png image: vim.png
--- ---

View File

@ -3,7 +3,7 @@ layout: post
title: Postlude title: Postlude
categories: project categories: project
tags: [haskell] tags: [haskell]
href: "https://github.com/jrpotter/postlude" href: "https://git.jrpotter.com/r/postlude"
image: haskell.png image: haskell.png
--- ---

View File

@ -2,7 +2,7 @@
layout: post layout: post
title: Blog title: Blog
categories: home categories: home
tags: [ruby, jekyll, nix] tags: [jekyll, nix, ruby]
href: "https://blog.jrpotter.com" href: "https://blog.jrpotter.com"
image: jekyll.png image: jekyll.png
--- ---

View File

@ -2,8 +2,8 @@
layout: post layout: post
title: Homesync title: Homesync
categories: project categories: project
tags: [rust, git, nix] tags: [git, nix, rust]
href: "https://github.com/jrpotter/homesync" href: "https://git.jrpotter.com/r/homesync"
image: git-branches.png image: git-branches.png
--- ---

View File

@ -2,8 +2,8 @@
layout: post layout: post
title: Anki Synonyms title: Anki Synonyms
categories: project categories: project
tags: [python, anki] tags: [anki, python]
href: "https://github.com/jrpotter/anki-synonyms" href: "https://git.jrpotter.com/r/anki-synonyms"
image: anki.png image: anki.png
--- ---

View File

@ -2,7 +2,7 @@
layout: post layout: post
title: Bookshelf title: Bookshelf
categories: home categories: home
tags: [lean, latex, nix] tags: [latex, lean, nix]
href: "https://bookshelf.jrpotter.com" href: "https://bookshelf.jrpotter.com"
image: lean.svg image: lean.svg
--- ---

View File

@ -3,7 +3,7 @@ layout: post
title: Bootstrap title: Bootstrap
categories: project categories: project
tags: [c, nix] tags: [c, nix]
href: "https://github.com/jrpotter/bootstrap" href: "https://git.jrpotter.com/r/bootstrap"
image: shoelaces.jpg image: shoelaces.jpg
--- ---

View File

@ -2,8 +2,8 @@
layout: post layout: post
title: NixOS Configuration title: NixOS Configuration
categories: project categories: project
tags: [nix] tags: [lua, nix]
href: "https://github.com/jrpotter/nixos-configuration" href: "https://git.jrpotter.com/r/nixos-configuration"
image: nix.png image: nix.png
--- ---

View File

@ -2,12 +2,12 @@
layout: post layout: post
title: Bookshelf Doc Generator title: Bookshelf Doc Generator
categories: project categories: project
tags: [lean] tags: [latex, lean]
href: "https://github.com/jrpotter/bookshelf-doc" href: "https://git.jrpotter.com/r/bookshelf-doc"
image: lean.svg image: lean.svg
--- ---
A fork of [doc-gen4](https://github.com/leanprover/doc-gen4){:target="_blank"} 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 project. This augments the `:docs` facet to convert LaTeX files into PDFs and
then list them in the generated navbar. then list them in the generated navbar.