sf-lectures
by clarksmr
Software Foundations
AI summary
Foundational lectures
Lectures on software foundations, accompanying YouTube videos and Coq source files for teaching formal verification
- stars
- 116
- forks
- 29
- watching
- 7
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Formal Proof Lecture
An introductory course on floating-point numbers and formal proof using Coq
Formal semantics tools
Development of formal semantics and verification tools for imperative languages and functional programming languages.
Compiler course materials
A collection of lecture materials and resources for teaching compilers in a computer science course
Computer Science Courses
A collection of computer science courses with video lectures for self-study and learning
Formal math proofs
A personal repository of formally verified mathematics using the Coq proof assistant
Haskell course materials
Course materials and resources for teaching functional systems in Haskell to students.
Program logic textbook
Companion Coq development for teaching program logics
Exercise repository
A collection of Coq proof solutions to Software Foundations course exercises
Data structure library
A comprehensive library of verified data structures and algorithms in Coq
Coq handbook
A collection of notes and resources on formal methods, type theory, and theorem proving using Coq.
Functional language formalization
Formalizations of functional languages with a focus on proof and verification
CS Course Materials
A comprehensive repository for teaching university-level data structures and algorithms course materials
Coq course
A self-reading Coq course for PhD students covering fundamental topics in functional programming and formal verification.
Event Sourcing Talks
A collection of talks and resources on advanced topics in Event Sourcing, CQRS, and DDD for building scalable and maintainable software systems.
Science education framework
A framework for teaching and practicing open science and reproducible research methods to early career scientists
Featured in 1 awesome list
Each link jumps to the spot where the list mentions sf-lectures.