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·13 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 were written by an AI model that read the project's README and public documentation pages. Each feature links to the documentation it came from; stars, license and language come straight from the GitHub API. The model does not read the source code, and the analysis is refreshed when the project is re-analysed. 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

Open-source alternatives to Learn Tt

Similar open-source projects, ranked by how many features they share with Learn Tt.
  • 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
See all 30 alternatives to Learn Tt→

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.

What are some open-source alternatives to jozefg/learn-tt?

Open-source alternatives to jozefg/learn-tt 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…