Compare commits
3 Commits
0f89bdf6c1
...
426215c12b
Author | SHA1 | Date |
---|---|---|
Joshua Potter | 426215c12b | |
Joshua Potter | a2cd712ae0 | |
Joshua Potter | 6584084b67 |
|
@ -5,7 +5,7 @@ layout: default
|
|||
<p class="home-description">
|
||||
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>.
|
||||
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
|
||||
credit using my <a href="https://m.do.co/c/c65b89434c1b" target="_blank">referral link</a>.
|
||||
</p>
|
||||
|
|
|
@ -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
|
||||
---
|
||||
|
||||
|
|
|
@ -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
|
||||
---
|
||||
|
||||
|
|
|
@ -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
|
||||
---
|
||||
|
||||
|
|
|
@ -2,12 +2,12 @@
|
|||
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
|
||||
---
|
||||
|
||||
A small Vim plugin that maintains a custom registry for manipulating highlights.
|
||||
This registry allows highlighting different keywords without overriding previous
|
||||
seaarches. Includes a small snippet for including the active highlight from
|
||||
searches. Includes a small snippet for including the active highlight from
|
||||
within the statusline.
|
||||
|
|
|
@ -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
|
||||
---
|
||||
|
||||
|
|
|
@ -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
|
||||
---
|
||||
|
||||
|
|
|
@ -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
|
||||
---
|
||||
|
|
|
@ -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
|
||||
---
|
||||
|
||||
|
|
|
@ -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
|
||||
---
|
||||
|
||||
|
|
|
@ -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
|
||||
---
|
||||
|
|
|
@ -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
|
||||
---
|
||||
|
||||
|
|
|
@ -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
|
||||
---
|
||||
|
||||
|
|
|
@ -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.
|
||||
|
|
|
@ -0,0 +1,12 @@
|
|||
---
|
||||
layout: post
|
||||
title: Forgejo
|
||||
categories: home
|
||||
tags: [latex, lean, nix]
|
||||
href: "https://git.jrpotter.com"
|
||||
image: forgejo.svg
|
||||
---
|
||||
|
||||
A self-hosted [forgejo](https://forgejo.org/){:target="_blank"} instance. For
|
||||
the most part, my [GitHub](https://github.com){:target="_blank"} repositories
|
||||
are a mirror of those found here.
|
|
@ -0,0 +1,40 @@
|
|||
<svg viewBox="0 0 212 212" xmlns="http://www.w3.org/2000/svg">
|
||||
<metadata
|
||||
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
|
||||
xmlns:cc="http://creativecommons.org/ns#"
|
||||
xmlns:dc="http://purl.org/dc/elements/1.1/"
|
||||
>
|
||||
<rdf:RDF>
|
||||
<cc:Work rdf:about="https://codeberg.org/forgejo/governance/src/branch/main/branding#logo">
|
||||
<dc:title>Forgejo logo</dc:title>
|
||||
<cc:creator rdf:resource="https://caesarschinas.com/"><cc:attributionName>Caesar Schinas</cc:attributionName></cc:creator>
|
||||
<cc:license rdf:resource="http://creativecommons.org/licenses/by-sa/4.0/" />
|
||||
</cc:Work>
|
||||
</rdf:RDF>
|
||||
</metadata>
|
||||
<style type="text/css">
|
||||
circle {
|
||||
fill: none;
|
||||
stroke: #000;
|
||||
stroke-width: 15;
|
||||
}
|
||||
path {
|
||||
fill: none;
|
||||
stroke: #000;
|
||||
stroke-width: 25;
|
||||
}
|
||||
.orange {
|
||||
stroke:#ff6600;
|
||||
}
|
||||
.red {
|
||||
stroke:#d40000;
|
||||
}
|
||||
</style>
|
||||
<g transform="translate(6,6)">
|
||||
<path d="M58 168 v-98 a50 50 0 0 1 50-50 h20" class="orange" />
|
||||
<path d="M58 168 v-30 a50 50 0 0 1 50-50 h20" class="red" />
|
||||
<circle cx="142" cy="20" r="18" class="orange" />
|
||||
<circle cx="142" cy="88" r="18" class="red" />
|
||||
<circle cx="58" cy="180" r="18" class="red" />
|
||||
</g>
|
||||
</svg>
|
After Width: | Height: | Size: 1.2 KiB |
Loading…
Reference in New Issue