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

Découvrez les meilleurs dépôts open-source grâce à notre recherche par IA.

ExplorerRecherches sélectionnéesAlternatives open sourceLogiciels auto-hébergésBlogPlan du site
ProjetÀ proposNotre méthodologiePresseServeur MCP
Mentions légalesConfidentialitéConditions d'utilisation
© 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 vues

Sofp

A free book: "The Science of Functional Programming"

Features

  • Software Development - Mathematical foundations for software development.

Historique des stars

Graphique de l'historique des stars pour winitzki/sofpGraphique de l'historique des stars pour winitzki/sofp

Recherche par IA

Explorez plus de dépôts awesome

Décrivez vos besoins en langage naturel — l'IA classe des milliers de projets open source sélectionnés par pertinence.

Start searching with AI

Questions fréquentes

Que fait winitzki/sofp ?

A free book: "The Science of Functional Programming"

Quelles sont les fonctionnalités principales de winitzki/sofp ?

Les fonctionnalités principales de winitzki/sofp sont : Software Development.

Quelles sont les alternatives open-source à winitzki/sofp ?

Les alternatives open-source à winitzki/sofp incluent : 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…

Alternatives open source à Sofp

Projets open source similaires, classés selon le nombre de fonctionnalités partagées avec Sofp.
  • cfenollosa/os-tutorialAvatar de cfenollosa

    cfenollosa/os-tutorial

    30,551Voir sur 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
    Voir sur GitHub↗30,551
  • dennis714/re-for-beginnersD

    dennis714/RE-for-beginners

    0Voir sur GitHub↗
    Voir sur GitHub↗0
  • doctorwkt/acwjAvatar de DoctorWkt

    DoctorWkt/acwj

    13,235Voir sur 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
    Voir sur GitHub↗13,235
  • iggredible/learn-vimAvatar de iggredible

    iggredible/Learn-Vim

    14,940Voir sur 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
    Voir sur GitHub↗14,940
Voir les 8 alternatives à Sofp→