GitHub - NagatoBigSeven/exercises: This repository is an unofficial, personal archive of publicly accessible course exercises for EPFL CS-214: Software Construction (Fall 2025), for personal study only. / 本仓库为瑞士洛桑联邦理工学院 CS-214《软件构造》（2025 年秋季学期）课程中曾可公开访问的练习的非官方个人归档，仅供个人学习之用。/ 本リポジトリは、スイス連邦工科大学ローザンヌ校 CS-214「ソフトウェアコンストラクション」（2025年秋学期）において公開されていた演習資料を対象とした非公式の個人アーカイブであり、個人学習目的のみに利用されます。

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 19 Commits
comprehensions		comprehensions
contextual-abstraction		contextual-abstraction
debugging		debugging
equational-reasoning		equational-reasoning
formal-verification		formal-verification
futures		futures
higher-order-functions		higher-order-functions
laziness		laziness
midterm-practice		midterm-practice
monads		monads
mutation-reasoning		mutation-reasoning
parallelism		parallelism
pattern-matching		pattern-matching
polymorphism		polymorphism
property-based-testing		property-based-testing
recursion		recursion
safe-effects		safe-effects
specs		specs
tests		tests
variance		variance
webapps		webapps
.gitignore		.gitignore

About

This repository is an unofficial, personal archive of publicly accessible course exercises for EPFL CS-214: Software Construction (Fall 2025), for personal study only. / 本仓库为瑞士洛桑联邦理工学院 CS-214《软件构造》（2025 年秋季学期）课程中曾可公开访问的练习的非官方个人归档，仅供个人学习之用。/ 本リポジトリは、スイス連邦工科大学ローザンヌ校 CS-214「ソフトウェアコンストラクション」（2025年秋学期）において公開されていた演習資料を対象とした非公式の個人アーカイブであり、個人学習目的のみに利用されます。

cs-214.epfl.ch/

scala functional-programming software-engineering software-construction