Skip to content

Instantly share code, notes, and snippets.

Coffee Addict

Sean Westfall seanwestfall

Coffee Addict
View GitHub Profile
AndyShiue /
Last active Apr 14, 2022
Cubical type theory for dummies

I think I’ve figured out most parts of the cubical type theory papers; I’m going to take a shot to explain it informally in the format of Q&As. I prefer using syntax or terminologies that fit better rather than the more standard ones.

Q: What is cubical type theory?

A: It’s a type theory giving homotopy type theory its computational meaning.

Q: What is homotopy type theory then?

A: It’s traditional type theory (which refers to Martin-Löf type theory in this Q&A) augmented with higher inductive types and the univalence axiom.

patpohler / Big List of Real Estate
Last active May 22, 2022
Evolving list of Real Estate APIs by Category
View Big List of Real Estate

Big List of Real Estate APIs

Listings / Property Data

####Rets Rabbit

Rets Rabbit removes the nightmare of importing thousands of real estate listings and photos from RETS or ListHub and gives you an easy to use import and Web API server so you can focus on building your listing search powered website or app.

chrisdone /
Last active Feb 9, 2022
Typing Haskell in Haskell

Typing Haskell in Haskell


Pacific Software Research Center

Department of Computer Science and Engineering

Oregon Graduate Institute of Science and Technology