Skip to content

Instantly share code, notes, and snippets.

Avatar
Coffee Addict

Sean Westfall seanwestfall

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

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
patpohler / Big List of Real Estate APIs.md
Last active May 22, 2022
Evolving list of Real Estate APIs by Category
View Big List of Real Estate APIs.md

Big List of Real Estate APIs

Listings / Property Data

####Rets Rabbit http://www.retsrabbit.com

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
chrisdone / typing.md
Last active Feb 9, 2022
Typing Haskell in Haskell
View typing.md

Typing Haskell in Haskell

MARK P. JONES

Pacific Software Research Center

Department of Computer Science and Engineering

Oregon Graduate Institute of Science and Technology