awesome-repositories.com
Blog
MCP
awesome-repositories.com

Discover the best open-source repositories with AI-powered search.

ExploreCurated searchesOpen-source alternativesSelf-hosted softwareBlogSitemap
ProjectMCP serverAboutHow we rankPress
LegalPrivacyTerms
© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com
jozefg avatar

jozefg/learn-tt

0
View on GitHub↗
2,472 stars·137 forks·14 views

Learn Tt

A collection of resources for learning type theory and type theory adjacent fields.

Features

  • Awesome List - A community-curated directory that catalogs and links out to other open-source projects, rather than a standalone tool you run yourself.
  • Curated Resource Lists - Resources for learning type theory, logic, and proof assistants.
  • Educational Resources - Resources for learning type theory.

Star history

Star history chart for jozefg/learn-ttStar history chart for jozefg/learn-tt

How this analysis was created: This summary and feature list are AI-generated from collected project material and can contain mistakes. Stars, license and language are imported from GitHub. Inclusion does not mean that we have tested or audited this project. Check the source documentation for any feature you depend on. Learn more on our About page.

AI search

Explore more awesome repositories

Describe what you need in plain English — the AI ranks thousands of curated open-source projects by relevance.

Start searching with AI

Projects sharing features with Learn Tt

These projects share indexed features with Learn Tt. Shared tags can include platform or build tooling; verify the primary use case before treating a result as a replacement.
  • awesomedata/awesome-public-datasetsawesomedata avatar

    awesomedata/awesome-public-datasets

    75,979View on GitHub↗

    This project is a community-maintained, open-access directory of high-quality public datasets. It serves as a centralized reference point for researchers, developers, and data scientists to locate reliable information sources across a wide spectrum of industries and scientific fields. By providing a structured index, the repository facilitates the discovery of data necessary for exploratory analysis, machine learning model training, and the development of data-intensive applications. The directory distinguishes itself through a lightweight, platform-agnostic approach to resource indexing that

    aaron-swartzawesome-public-datasetsdatasets
    View on GitHub↗75,979
  • ossu/computer-scienceossu avatar

    ossu/computer-science

    205,190View on GitHub↗

    This project provides a structured computer science curriculum framework designed for self-directed learners. It organizes open-access academic resources, including textbooks, lectures, and assignments, into a cohesive path that mirrors the requirements of a formal undergraduate degree. By integrating theoretical study with practical software engineering methodologies, the platform enables students to master foundational concepts and advanced technical skills independently. The curriculum distinguishes itself by utilizing a version-control-based workflow to manage the educational experience.

    HTMLawesome-listcomputer-sciencecourses
    View on GitHub↗205,190
  • benedekrozemberczki/awesome-graph-classificationbenedekrozemberczki avatar

    benedekrozemberczki/awesome-graph-classification

    4,805View on GitHub↗

    A collection of important graph embedding, classification and representation learning papers with implementations.

    Pythonattention-mechanismclassification-algorithmdeep-graph-kernels
    View on GitHub↗4,805
  • src-d/awesome-machine-learning-on-source-codesrc-d avatar

    src-d/awesome-machine-learning-on-source-code

    6,524View on GitHub↗
    awesomeawesome-listmachine-learning
    View on GitHub↗6,524
Compare all 30 related projects→

Frequently asked questions

What does jozefg/learn-tt do?

A collection of resources for learning type theory and type theory adjacent fields.

What are the main features of jozefg/learn-tt?

The main features of jozefg/learn-tt are: Awesome List, Curated Resource Lists, Educational Resources.

Which projects share features with jozefg/learn-tt?

Projects with overlapping indexed features include: awesomedata/awesome-public-datasets — This project is a community-maintained, open-access directory of high-quality public datasets. It serves as a… src-d/awesome-machine-learning-on-source-code. ujjwalkarn/machine-learning-tutorials — This repository serves as a structured educational resource for machine learning and data science, providing a… benedekrozemberczki/awesome-graph-classification — A collection of important graph embedding, classification and representation learning papers with implementations. ossu/computer-science — This project provides a structured computer science curriculum framework designed for self-directed learners. It… maximabramchuck/awesome-interviews — This project is a curated repository of technical interview questions and a directory of study resources designed for…