Lectures related to Emacs | EPFL Graph Search

Explores Git's distributed version control features, focusing on conflict resolution and collaboration management.

Property-Based Testing: Advanced Techniques and Applications

Explores advanced software testing techniques, including property-based testing and various forms of fuzzing, to effectively test complex systems.

Introduction to Coq: Arithmetic Expressions and Evaluators

Covers the basics of Coq, focusing on arithmetic expressions, evaluation, and proof techniques.

Property-Based Testing: Advanced Techniques

Explores advanced software testing techniques, including property-based testing, to ensure code correctness and improve software quality.

Untitled

Legacy Web Hosting Services Tour

Covers a tour of legacy web hosting services and discussions on future services storage.

Logic Programming Techniques: Automated Proof Search and Unification

Covers logic programming concepts, focusing on automated proof search and unification techniques in Coq.

Untitled

Introduction to Proof Scripting: Basics of Ltac

Introduces the basics of proof scripting in Coq, focusing on the Ltac language and its tactics for managing proofs effectively.

Software Debugging: Techniques and Best Practices

Covers software debugging techniques, emphasizing effective issue diagnosis, information gathering, and structured debugging processes.

Untitled

Using EMACS to edit VHDL

Covers the basics of using EMACS for editing VHDL code.

Abstract Data Structures in C++

Covers procedural and object-oriented programming, abstract data structures, templates, and the C++ standard library.

Distributed Version Control with Git

Explores Git's distributed version control, covering conflict resolution, collaboration management, and merging in software projects.

Untitled

Software Testing: Avoiding and Fixing Bugs

Emphasizes the critical role of software testing in preventing and resolving bugs during development.

Introduction to Programming: First Steps

Covers the basics of programming, including the development cycle of a program, strong typing, data storage in Java variables, and primitive data types.

Kernel Build Process

Covers the kernel build process, patch submission, and Scala web application development.

C++ Standard Library: Containers and Algorithms

Covers the basics of C++ standard library containers, algorithms, and iterators.