Pinned Repositories
alectryon
A collection of tools for writing technical documents that mix Coq code and prose.
AppleBeta
iOS Notifications of new IPSW Releases
HyzeCalendar
Hyze Calendar is a multilayered and dynamic Calendar App for iOS
LeanInk
LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.
WWDC17Scholarship
WWDC17 Scholarship Submission [Accepted]
WWDC18Scholarship
WWDC18 Scholarship Submission [Accepted]
WWDC19Scholarship
WWDC19 Scholarship Submission [Accepted]
WWDC20SwiftStudentChallenge
WWDC2020 Swift Student Challenge [Accepted]
WWDC21SwiftStudentChallenge
WWDC2021 Swift Student Challenge [Accepted]
LeanInk
LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.
insightmind's Repositories
insightmind/WWDC20SwiftStudentChallenge
WWDC2020 Swift Student Challenge [Accepted]
insightmind/AppleBeta
iOS Notifications of new IPSW Releases
insightmind/LeanInk
LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.
insightmind/alectryon
A collection of tools for writing technical documents that mix Coq code and prose.
insightmind/MORR
MORR: (Medical Online Research Recorder)
insightmind/SwiftyUI
SwiftyUI contains a whole lot of useful and handy stuff for SwiftUI!
insightmind/WWDC21SwiftStudentChallenge
WWDC2021 Swift Student Challenge [Accepted]
insightmind/2019
Student submissions for the WWDC 2019 Scholarship
insightmind/2020
Student submissions for the WWDC 2020 Swift Student Challenge
insightmind/2021
Student submissions for the WWDC 2021 Swift Student Challenge
insightmind/3D-model
3D model Web-Component that uses BabylonJS
insightmind/AnyMenu
An easy to use menu framework for any styling use case.
insightmind/AwesomeCache
Delightful on-disk cache (written in Swift)
insightmind/Calcompiler
A calculator compiler project in Rust while attending a compiler lecture at uni
insightmind/Dash-iOS
Dash gives your iPad and iPhone instant offline access to 200+ API documentation sets
insightmind/GoogleColab
insightmind/iina
The modern video player for macOS.
insightmind/insightmind
Special Personal Repository
insightmind/IQKeyboardManager
Codeless drop-in universal library allows to prevent issues of keyboard sliding up and cover UITextField/UITextView. Neither need to write any code nor any setup required and much more.
insightmind/JamitFoundation
JamitFoundation is a collection of useful concepts to enable composition oriented development with UIKit
insightmind/JAMSVGImage
Display resolution independent SVGs in iOS.
insightmind/Kingfisher
A lightweight, pure-Swift library for downloading and caching images from the web.
insightmind/mathlib4
Work in progress mathlib port for lean 4
insightmind/Moya
Network abstraction layer written in Swift.
insightmind/NewProjectTemplate-iOS
A preconfigured template for new iOS projects with batteries included.
insightmind/OpenFocusTimer
Pomodoro timer with categories, reflection, history & statistics.
insightmind/realm-cocoa
Realm is a mobile database: a replacement for Core Data & SQLite
insightmind/stm32l4xx-hal
A Hardware abstraction layer for the stm32l432xx series chips written in rust.
insightmind/SwiftGen
The Swift code generator for your assets, storyboards, Localizable.strings, … — Get rid of all String-based APIs!
insightmind/SwiftMessages
A very flexible message bar for iOS written in Swift.