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

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

ExploreCurated searchesOpen-source alternativesSelf-hosted softwareBlogSitemap
ProjectAboutHow we rankPressMCP server
LegalPrivacyTerms
© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com
·
winitzki avatar

winitzki/sofp

0
View on GitHub↗
1,482 stars·100 forks·TeX·GPL-2.0·2 views

Sofp

A free book: "The Science of Functional Programming"

Features

  • Software Development - Mathematical foundations for software development.

Star history

Star history chart for winitzki/sofpStar history chart for winitzki/sofp

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 winitzki/sofp do?

A free book: "The Science of Functional Programming"

What are the main features of winitzki/sofp?

The main features of winitzki/sofp are: Software Development.

What are some open-source alternatives to winitzki/sofp?

Open-source alternatives to winitzki/sofp include: cfenollosa/os-tutorial — This project is an educational curriculum designed to teach the fundamentals of operating system development and… dennis714/re-for-beginners. doctorwkt/acwj — This project is a compiler development tutorial that provides a series of guides and exercises for building a complete… iggredible/learn-vim — Learn-Vim is an interactive learning platform designed to build proficiency in the Vim text editor. It provides a… jeffgerickson/algorithms — This project is an algorithm courseware repository and academic resource portal. It serves as a digital archive for… lotabout/write-a-c-interpreter — This project is a C language interpreter and a practical implementation of a programming language. It parses and…

Open-source alternatives to Sofp

Similar open-source projects, ranked by how many features they share with Sofp.
  • cfenollosa/os-tutorialcfenollosa avatar

    cfenollosa/os-tutorial

    30,551View on GitHub↗

    This project is an educational curriculum designed to teach the fundamentals of operating system development and low-level systems programming. It provides a structured sequence of lessons and code samples that guide users through building a functional kernel and bootloader from scratch, enabling a practical understanding of how software interacts directly with computer hardware. The repository distinguishes itself by focusing on the core mechanics of bare-metal execution. It covers the implementation of essential system components, including assembly-based bootloaders that transition process

    C
    View on GitHub↗30,551
  • dennis714/re-for-beginnersD

    dennis714/RE-for-beginners

    0View on GitHub↗
    View on GitHub↗0
  • doctorwkt/acwjDoctorWkt avatar

    DoctorWkt/acwj

    13,235View on GitHub↗

    This project is a compiler development tutorial that provides a series of guides and exercises for building a complete compiler from scratch. It focuses on the implementation of a structured compilation pipeline to transform high-level source code into executable machine instructions. The project covers the creation of a machine code generator for specific processor architectures and a static analysis framework. This framework includes methodologies for implementing type checking and constant folding to verify logic correctness before the final execution phase. The instructional material enc

    Cccompilerlexical-analysis
    View on GitHub↗13,235
  • iggredible/learn-vimiggredible avatar

    iggredible/Learn-Vim

    14,940View on GitHub↗

    Learn-Vim is an interactive learning platform designed to build proficiency in the Vim text editor. It provides a structured curriculum that guides users through the fundamentals of modal editing and command-line text manipulation to improve terminal productivity. The project functions as a terminal-based simulation that allows users to practice editing techniques within a sandboxed environment. By utilizing a virtual file system and state-machine sequencing, the platform validates user inputs against specific command patterns to ensure mastery of each lesson. This training environment cover

    advancedbeginnerbook
    View on GitHub↗14,940
See all 8 alternatives to Sofp→