#
Lists (1)
Starred repositories
A light-weight UITextView subclass that adds support for placeholder.
Develop Swift/iOS projects using VSCode
ScrollKit is a SwiftUI SDK that adds powerful scroll features, like offset tracking and a header view that stretches & transforms as you pull down, and sticks to the top when you scroll.
A curated list of awesome iOS ecosystem, including Objective-C and Swift Projects
A SwiftUI card view, made great for setup interactions.
Multi-language quickstart demo for Coze OAuth
A set of beautifully-designed, accessible components and a code distribution platform. Works with your favorite frameworks. Open Source. Open Code.
High-performance automatic differentiation of LLVM and MLIR.
We define a simple programming language, simp_lang, then instantiate Iris to verify simple simp_lang programs with concurrent separation logic.
Program logic for developing and verifying distributed systems
Visual Studio Code extension for the Lean 4 proof assistant
Formalization of Mathematical Logic
These are Lean translations of Ninety-Nine Haskell Problems (WIP)
⚡A CLI tool for code structural search, lint and rewriting. Written in Rust
LaTeX code for a paper on lean's type theory
A Comprehensive Roadmap to Mathematics
The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)