jrpotter

GoogleMountain View, CA

Pinned Repositories

anki-synonyms
Anki plugin for randomly selecting from a set of choices in flashcard fields.
Language:Python00
blog
My blog posts
Language:Nix10
bookshelf
Notes on books I'm currently studying
Language:TeX10
django-pipeline-node-sass
Node Sass compiler for django-pipeline
Language:Python2 2 01
fifth
A Cellular Automata Machine (CAM) library loosely based on CAM Forth
Language:Python9 3 01
homesync
Automatic syncing of desktop files to git
Language:Nix3 2 40
mini-java
Java Compiler for Java Subset
Language:Java2 2 00
pong
Pong written with custom ALU in Artix FPGA
Language:SystemVerilog1 2 00
sage
PEG Packrat Parser
Language:C++1 2 00

jrpotter's Repositories

jrpotter/fifth
A Cellular Automata Machine (CAM) library loosely based on CAM Forth
Language:Python9 3 01
jrpotter/homesync
Automatic syncing of desktop files to git
Language:Nix3 2 40
jrpotter/django-pipeline-node-sass
Node Sass compiler for django-pipeline
Language:Python2 2 01
jrpotter/mini-java
Java Compiler for Java Subset
Language:Java2 2 00
jrpotter/blog
My blog posts
Language:Nix10
jrpotter/bookshelf
Notes on books I'm currently studying
Language:TeX10
jrpotter/pong
Pong written with custom ALU in Artix FPGA
Language:SystemVerilog1 2 00
jrpotter/portfolio
Single-page portfolio linking to other projects.
Language:HTML10
jrpotter/sage
PEG Packrat Parser
Language:C++1 2 00
jrpotter/anki-synonyms
Anki plugin for randomly selecting from a set of choices in flashcard fields.
Language:Python00
jrpotter/bootstrap
CLI for initializing projects in a configurable way.
Language:C00
jrpotter/vim-highlight
A custom registry built for highlighting
Language:Vim Script0 2 00
jrpotter/bookshelf-doc
Document generator for my Bookshelf project
Language:Lean
jrpotter/effect-systems
Code samples for effect systems.
Language:Haskell2 0
jrpotter/FlexibleGrading
Bring keyboard-driven reviewing to Anki 2.1.
Language:Python
jrpotter/fused-effects-exceptions
Handle exceptions thrown in IO with fused-effects.
Language:Haskell
jrpotter/huffman-encoding
Huffman Encoding GUI Interface
Language:Java2 0
jrpotter/nixos-configuration
My NixOS configuration files
Language:Nix1 0
jrpotter/notebook
A collection of my notes.
Language:TypeScript
jrpotter/openshift-cartridge-geodjango
This is a custom cartridge with some GeoDjango functionality
Language:C2 0
jrpotter/postlude
A replacement to the default Prelude.
Language:Haskell
jrpotter/tagless-final-parsing
Code samples for tagless final parsing.
Language:Haskell
jrpotter/vim-join
Add joining feature that respects text-width.
Language:Vim script1 0