Pinned Repositories
arduino_snake_cc4301
charm
Charm: A Framework for Rapidly Prototyping Cryptosystems
inverse-reference-coordinator-pattern
Example project that uses the inverse reference coordinator pattern
modularize-your-app
Example project for app modularization
reasonably-exceptional-type-theory
A Coq plugin that implements exceptions in Coq
hfehrmann's Repositories
hfehrmann/inverse-reference-coordinator-pattern
Example project that uses the inverse reference coordinator pattern
hfehrmann/modularize-your-app
Example project for app modularization
hfehrmann/reasonably-exceptional-type-theory
A Coq plugin that implements exceptions in Coq
hfehrmann/arduino_snake_cc4301
hfehrmann/charm
Charm: A Framework for Rapidly Prototyping Cryptosystems
hfehrmann/cnb_scrapper_addon
hfehrmann/custom-ui-ios
Repository for common UI iOS components across projects
hfehrmann/cv
My CV with Melt OCaml
hfehrmann/equations
Equation-style constraint generation for your views
hfehrmann/fastlane
🚀 The easiest way to automate building and releasing your iOS and Android apps
hfehrmann/hgeometry
HGeometry
hfehrmann/ios-recruiting-hsa
hfehrmann/JS-BigInt
A Javascript library to manipulate integers over 64 bits
hfehrmann/movie_challenge
hfehrmann/Nimble-Snapshots
Nimble matchers for FBSnapshotTestCase.
hfehrmann/openfoodfacts-ios
Native (Swift) version of Open Food Facts for iOS. Coders & Decoders welcome 🤳🥫 😊
hfehrmann/reign_application
hfehrmann/SwiftLint
A tool to enforce Swift style and conventions.
hfehrmann/Tesis
Tesis backup