A research-oriented computer science curriculum centered on computational trinitarianism, where computation appears as logic, programs and categories. It covers programming with functional languages, discrete math formalized in Lean 4, algorithms and proof assistants.
High Assurance Rust is a book about developing secure and robust software. It presents a project-based approach to systems programming and low-level software security, teaching Rust by re-implementing a major dynamic collection from its standard library. It discusses using open-source software assurance tools, including rustc, libFuzzer, rr, qemu, differential fuzzing and deductive verification.
Open source reference site for beginners to gain insight into subjects around computer science and software engineering. It lists featured lecturers, and the page was generated using the Wayback machine from a snapshot. The project is described as a handy material for students to complement an existing undergraduate program.
A comic that follows characters including Certificat to explain why HTTPS is important for the web and how it works. It covers the lock icon in the browser URL bar and privacy.
CSS Tip is a website that publishes daily CSS tips and tricks for web developers. It aims to help users keep up to date with new and modern CSS features. The site includes an archive of over 300 tips and a random tip feature.
Utopia refers to a systematic approach to fluid responsive design in which type and space scales are defined for a small screen and a large screen and the browser interpolates between them based on viewport width. The site states it is not a product, plugin or framework, though free tools are being developed to support it.
LearnOpenGL is an online book and tutorial resource for learning modern core-profile OpenGL. It covers basics through advanced topics with clear examples and aims to be understandable for people without graphics programming experience while remaining useful to experienced readers. Chapters discuss core graphics concepts, lighting, model loading and post-processing, and a walkthrough series builds a small game.
Community notes
Be the first to share how this project worked for you.
Sign in with a verified account to leave a review or join the discussion.
Sign in to reviewKeep exploring
High Assurance Rust is a book about developing secure and robust software. It presents a project-based approach to systems programming and low-level software security, teaching Rust by re-implementing a major dynamic collection from its standard library. It discusses using open-source software assurance tools, including rustc, libFuzzer, rr, qemu, differential fuzzing and deductive verification.
Open source reference site for beginners to gain insight into subjects around computer science and software engineering. It lists featured lecturers, and the page was generated using the Wayback machine from a snapshot. The project is described as a handy material for students to complement an existing undergraduate program.
A comic that follows characters including Certificat to explain why HTTPS is important for the web and how it works. It covers the lock icon in the browser URL bar and privacy.
CSS Tip is a website that publishes daily CSS tips and tricks for web developers. It aims to help users keep up to date with new and modern CSS features. The site includes an archive of over 300 tips and a random tip feature.
Utopia refers to a systematic approach to fluid responsive design in which type and space scales are defined for a small screen and a large screen and the browser interpolates between them based on viewport width. The site states it is not a product, plugin or framework, though free tools are being developed to support it.
LearnOpenGL is an online book and tutorial resource for learning modern core-profile OpenGL. It covers basics through advanced topics with clear examples and aims to be understandable for people without graphics programming experience while remaining useful to experienced readers. Chapters discuss core graphics concepts, lighting, model loading and post-processing, and a walkthrough series builds a small game.
