MyAnimeList
Simple sample of using the VIP (Clean Swift) architecture for iOS
Likely Available
About
Mobile App Developer and Software Engineer
Evidence-backed skills
Repositories
job-applications-manager
Manage your job applications locally
JuiceMaker
[in progress] Using Agda - for programmers
ChatOnTerminal
Developed during the "Semana JS Expert" by Erick Wendell
learning-time
Compilado de coisas que estudo
hacktober22
Simple SwiftUI project for Hacktoberfest
Formality-Net-Animator
Animations for Elementary-Affine-Net interactions
WWDC18_Photosynthesis
[accepted] This is my playground submitted for WWDC18 Scholarship
type-check-server
Type check and run Kind-lang terms
FormalityCore-examples
See simple usage examples of if, dup, pair and tuples
Kind
A modern proof language