type-theory

(โ˜… 8)

Being the materials of type theory course at UFOP

type-theory Latest Version Download

Download Latest Version (.zip)

Today's picks

browser-use โ˜… 109,987

๐ŸŒ Make websites accessible for AI agents. Automate tasks online with ease.

Python
yt-dlp โ˜… 186,032

A feature-rich command-line audio/video downloader

Python
Python-100-Days โ˜… 185,241

Python - 100ๅคฉไปŽๆ–ฐๆ‰‹ๅˆฐๅคงๅธˆ

Jupyter Notebook
ghidra โ˜… 72,620

Ghidra is a software reverse engineering (SRE) framework

Java
storybook โ˜… 90,890

Storybook is the industry standard workshop for building, documenting, and testing UI comp

TypeScript
bootstrap โ˜… 174,623

The most popular HTML, CSS, and JavaScript framework for developing responsive, mobile fir

MDX
// repository documentation