sinhp Goto Github PK

foundations-of-data-science-with-python

Public Files for the Foundations of Data Science with Python textbook

freehand-zxcalculus-recognition

Recognition algorithm for freehand zx-calculus diagrams

fsm-oracle

Finite state machines as graphs

ground_zero

Ground Zero: Lean 4 HoTT Library

gt-linalg

Interactive Linear Algebra, free online textbook at Georgia Tech

haixing-hu.github.io

The homepage of Haixing Hu.

hott-agda

Development of homotopy type theory in Agda

hott-intro

An introductory course to Homotopy Type Theory

hugo

The world’s fastest framework for building websites.

impress.js

It's a presentation framework based on the power of CSS3 transforms and transitions in modern browsers and inspired by the idea behind prezi.com.

inftycat

introproofs.github.io

Introduction to Proofs

introstat-spring-2019

Course materials for Stat 131A, Spring 2019, at UC Berkeley

jekyll

Jekyll-based static site for The Programming Historian

jekyll-course-website-template

Feature-rich and easy-to-use Jekyll template for the websites of academic courses

jekyll-katex

Jekyll plugin for easy server-side math rendering via KaTeX

jekyll-theme-libretto

Libretto is a Jekyll theme with classic styling and typographic details

jhu-top-seminar.github.io

JHU Topology Seminar

johnros.github.com

My blog

jp-ellis.github.io

jsx-tikzcd

Render tikzcd diagrams with JSX.

jtd-remote

Example of Just the Docs as a remote theme

just-the-docs

A modern, high customizable, responsive Jekyll theme for documention with built-in search.

kan-extensions

Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor

latex

My collection of LaTeX-related stuff

lawvere

The collected works of F. W. Lawvere

leancamcombi

Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean

leanfibredcategories

A Lean4 Formalization of Fibred Categories

logic_and_proof

CMU Undergrad Course

macros

macros for thesis