Repositories list

• haskell-resources

  Public
  A List of Foundational Haskell Papers

  JavaScript

  •

  Other

  •71•865•0•0•Updated Nov 8, 2024Nov 8, 2024

• professional-cv

  Public
  0•0•0•0•Updated Feb 13, 2024Feb 13, 2024

• invitation-to-haskell

  Public
  TeX

  •0•1•0•0•Updated Mar 21, 2023Mar 21, 2023

• DistributedMondays

  Public
  0•1•0•0•Updated Dec 8, 2021Dec 8, 2021

• differentiable-manifolds-UofUtah

  Public
  Repo for MA6510 w/ Bromberg

  0•1•0•0•Updated Sep 7, 2021Sep 7, 2021

• cats-in-context

  Public
  TeX

  •0•9•0•0•Updated Jul 3, 2021Jul 3, 2021

• lawvere

  Public
  The collected works of F. W. Lawvere

  34•7•0•0•Updated May 21, 2021May 21, 2021

• Type-Arithmetic-and-the-Yoneda-Perspective

  Public
  Slides for Scalaworld 2019

  TeX

  •1•14•0•0•Updated Oct 29, 2020Oct 29, 2020

• analysis-on-manifolds

  Public
  Differential Geometry Problem Sets

  TeX

  •0•1•0•0•Updated Oct 5, 2020Oct 5, 2020

• Hulk-Smash

  Public
  TeX

  •0•1•0•0•Updated Oct 3, 2020Oct 3, 2020

• parametricity

  Public
  0•5•0•0•Updated Aug 18, 2020Aug 18, 2020

• Isomorphic-Reasoning

  Public
  Isomorphic Reasoning: Counting with Types

  TeX

  •3•37•0•0•Updated Jun 5, 2020Jun 5, 2020

• optics-resources

  Public
  Resources for the aspiring optician

  4•39•0•0•Updated Jun 3, 2020Jun 3, 2020

• Anime-Girls-Holding-Programming-Books

  Public
  Anime Girls Holding Programming Books

  953•0•0•0•Updated Mar 9, 2020Mar 9, 2020

• OpenLogic

  Public
  An open-source, customizable intermediate logic textbook

  TeX

  •

  Creative Commons Attribution 4.0 International

  •242•2•0•0•Updated Feb 2, 2020Feb 2, 2020

• cohomolo.gy

  Public
  Haskell

  •1•2•0•0•Updated Jan 30, 2020Jan 30, 2020

• discrete-differential-geometry

  Public
  An elegant implementation of discrete diffgeo in haskell

  Haskell

  •3•0•0•0•Updated Jan 12, 2020Jan 12, 2020

• awesome-applied-category-theory

  Public
  ACT community resources

  MIT License

  •25•5•0•0•Updated Oct 3, 2019Oct 3, 2019

• higher-categorical-logic

  Public
  0•7•0•0•Updated Sep 23, 2019Sep 23, 2019

• ingram-algebraic-number-theory

  Public
  TeX

  •0•1•0•0•Updated Sep 15, 2019Sep 15, 2019

• homotopy-type-theory-notes

  Public
  HoTT Note-taking action

  TeX

  •0•25•0•0•Updated Mar 24, 2019Mar 24, 2019