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.
This project is a structured Rust programming curriculum and systems programming course designed to take learners from beginner to expert levels. It provides a comprehensive set of training materials focused on mastering the core syntax, idioms, and technical foundations of the Rust language. The project features a specialized language transition framework that maps concepts from C++, managed languages, and dynamic typing to Rust idioms. This allows developers from different ecosystems to translate architectural patterns and memory models into idiomatic Rust. The training covers a broad rang
The CompCert formally-verified C compiler
Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.
Concurrency primitives, safe memory reclamation mechanisms and non-blocking (including lock-free) data structures designed to aid in the research, design and implementation of high performance concurrent systems developed in C99+.
The main features of concurrencykit/ck are: Build Systems, Concurrency and Parallelism.
Projects with overlapping indexed features include: microsoft/rusttraining — This project is a structured Rust programming curriculum and systems programming course designed to take learners from… absint/compcert — The CompCert formally-verified C compiler. adamierymenko/huffandpuff. ahoward/forkoff — brain-dead simple parallel processing for ruby. alanxz/rabbitmq-c — RabbitMQ C client. abiggerhammer/hammer — Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.