hfehrmann's Stars
qarmin/czkawka
Multi functional app to find duplicates, empty folders, similar images etc.
immich-app/immich
High performance self-hosted photo and video management solution.
VojtaStavik/ios-build-script
The repository with the code from the "Building an iOS App Without Xcode's Build System" article.
poteto/hiring-without-whiteboards
⭐️ Companies that don't have a broken hiring process
ekazaev/route-composer
Protocol oriented, Cocoa UI abstractions based library that helps to handle view controllers composition, navigation and deep linking tasks in the iOS application. Can be used as the universal replacement for the Coordinator pattern.
hfehrmann/reasonably-exceptional-type-theory
A Coq plugin that implements exceptions in Coq
coq/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.