Skip to content
View jsimonrichard's full-sized avatar
😎
😎
9 followers · 3 following

Achievements

Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Block or report jsimonrichard

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. jsimonrichard jsimonrichard Public

    An online resume and blog built with Astro.

    Astro 1

  2. ProseMark ProseMark Public

    An open-source "What you see is what you mean" markdown editor, like Obsidian or Typora

    TypeScript 14 2

  3. lean-sdk lean-sdk Public

    Forked from leanprover-community/repl

    An SDK for interacting with LEAN Prover

    Lean 2

  4. mixed-volumes-n-6-d-2-3 mixed-volumes-n-6-d-2-3 Public

    The official repository for "Mixed volumes of zonoids and the absolute value of the Grassmannian."

    Jupyter Notebook

  5. dotfiles dotfiles Public

    Custom dot files for Arch Linux

    Lua

  6. CSU-WPT/linux-git-workshop CSU-WPT/linux-git-workshop Public

    The materials for the Computer Peer Teacher's Linux & Git Workshop hosted at the Washkewicz College of Engineering.

    Handlebars 1