Starred repositories
A Comprehensive Roadmap to Mathematics
From the Tensor to Stable Diffusion, a rough outline for a 1 week course.
From the Transistor to the Web Browser, a rough outline for a 12 week course
A collection of awesome developer accounts (Twitter, Facebook,...) 👨💻 that enrich Arabic content, podcasts, articles, Youtube channels and Some advises and guidelines.
For developers, who are building real-time data-driven applications, Redis is the preferred, fastest, and most feature-rich cache, data structure server, and document and vector query engine.
Master programming by recreating your favorite technologies from scratch.
Comprehensive roadmap for aspiring Embedded Systems Engineers, featuring a curated list of learning resources
A complete computer science study plan to become a software engineer.
must read research papers and links on quantum compilers
A roadmap to teach myself compiler dev, malware reverse engineering, exploitation and kernel dev fundamentals
A collection of projects for students on Virgil, Wizard, or WebAssembly
very good whiteboard SDK / infinite canvas SDK
Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
Waypoints to the past and future of visual programming.
A collection of resources for learning type theory and type theory adjacent fields.
A survey of semantics styles in Coq, from natural semantics through structural operational, axiomatic, and denotational semantics, to abstract interpretation [maintainer=@k4rtik]
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications!
A library and language for building parsers, interpreters, compilers, etc.