Skip to content
View jacobneu's full-sized avatar
39 followers · 4 following

Achievements

Achievement: YOLOAchievement: Pull Sharkx2

Achievements

Achievement: YOLOAchievement: Pull Sharkx2

Block or report jacobneu

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

  • jacobneu.github.io Public

    HTML Updated Jul 19, 2024

  • HoTT-agda Public

    Formalization of Homotopy Type Theory for use in my Youtube videos

    Agda 10 2 Creative Commons Attribution 4.0 International Updated May 28, 2024

  • lean-LAC Public

    Lean formalisation and textbook for Languages and Computation

    Lean 2 Updated Oct 9, 2023

  • lean-paranat Public

    Lean Updated Jul 20, 2023

  • gammaCube Public

    Agda 1 Updated May 17, 2023

  • hott-mgs Public

    Forked from ericfinster/hott-mgs

    Homotopy Type Theory Exercises for MGS 2023

    Agda Updated Apr 6, 2023

  • geist3 Public

    Standard ML Creative Commons Attribution Share Alike 4.0 International Updated Sep 14, 2022

  • badstyle-m21 Public

    15-150 Bad Style Competition, Summer 2021

    Standard ML Updated Aug 17, 2021

  • alleycat Public

    TeX 2 Creative Commons Attribution Share Alike 4.0 International Updated Mar 1, 2021

  • MastersThesis Public

    Repository of publicly-released documents & resources related to my master's thesis

    Updated Aug 16, 2020

  • 150lectureNotes Public

    LaTeX compilation framework & LaTeX source library for 15-150 M20 lecture slides

    TeX 5 2 GNU General Public License v3.0 Updated Jun 13, 2020

  • 150BadStyleS18 Public

    Standard ML 1 Updated Apr 19, 2018

  • LaTeX-old Public

    TeX Updated Jul 21, 2017