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
idris-hackers avatar

idris-hackers/software-foundations

0
View on GitHub↗
458 stars·36 forks·Idris·MIT·11 viewsidris-hackers.github.io/software-foundations↗

Software Foundations

:book: [Download the PDF][PDF]

Features

  • Books - Listed in the “Books” section of the Awesome Idris awesome list.

Star history

Star history chart for idris-hackers/software-foundationsStar history chart for idris-hackers/software-foundations

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

Frequently asked questions

What does idris-hackers/software-foundations do?

:book: [Download the PDF][PDF]

What are the main features of idris-hackers/software-foundations?

The main features of idris-hackers/software-foundations are: Books.

Which projects share features with idris-hackers/software-foundations?

Projects with overlapping indexed features include: crossref/rest-api-doc — Documentation for Crossref's REST API. For questions or suggestions, see https://community.crossref.org/. dhghomon/easy_rust — Easy Rust is a beginner course and programming tutorial designed to teach the fundamentals of the Rust language. It… fawazahmed0/quran-api. lborb/book — The Little Book of Rust Books. lukemathwalker/zero-to-production — This project is a reference implementation of a production-ready backend API built with Rust and the Actix-Web… brson/rust-anthology — The best short-form writing about Rust, collected.

Projects sharing features with Software Foundations

These projects share indexed features with Software Foundations. Shared tags can include platform or build tooling; verify the primary use case before treating a result as a replacement.
  • crossref/rest-api-docCrossRef avatar

    CrossRef/rest-api-doc

    796View on GitHub↗

    Documentation for Crossref's REST API. For questions or suggestions, see https://community.crossref.org/

    View on GitHub↗796
  • dhghomon/easy_rustDhghomon avatar

    Dhghomon/easy_rust

    8,305View on GitHub↗

    Easy Rust is a beginner course and programming tutorial designed to teach the fundamentals of the Rust language. It provides instructional material and technical documentation tailored for those new to coding and non-native English speakers. The project uses simplified English to translate complex programming concepts into basic vocabulary. This approach bridges the gap between professional technical terminology and beginner-friendly language through concept-mapping and a modular, topic-based structure. The learning materials cover core programming fundamentals and systems programming basics

    Shell
    View on GitHub↗8,305
  • fawazahmed0/quran-apifawazahmed0 avatar

    fawazahmed0/quran-api

    988View on GitHub↗
    al-quranapifree
    View on GitHub↗988
  • brson/rust-anthologybrson avatar

    brson/rust-anthology

    1,519View on GitHub↗

    The best short-form writing about Rust, collected.

    Shell
    View on GitHub↗1,519
Compare all 19 related projects→