Brandon Kase is an experienced software engineer and CTO with 14 years building production systems, currently driving technology and research in agentic engineering out of Florida. He blends front-end polish (notably UI work on MinaProtocol's React-based site) with deep back-end and type-oriented work—porting and extending TypeScript/zk-SNARK frameworks and improving asynchronous primitives in Swift. A Carnegie Mellon computer science graduate, he rides the intersection of cryptography, distributed protocols, and developer ergonomics, favoring strong types and practical tooling. Equally comfortable shipping product code and evolving foundational libraries, he describes himself as someone who "likes types and making things" and is actively prototyping agentic systems publicly.
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
Role in this project:
Front-end Developer
Contributions:13 releases, 714 reviews, 2019 commits in 5 years 1 month
Contributions summary:Brandon's commits primarily focus on reformatting and updating various React components within the frontend/website-redesign directory. Their contributions involve modifying existing components, such as Icon, Hero, and BlogPost, as well as styles related to the blog and a community page. The user's work demonstrates a focus on UI adjustments and potentially responsive design elements, indicated by changes related to theme colors, margins, and media queries within CSS.
Contributions:162 reviews, 28 commits, 6 PRs in 1 year 5 months
Contributions summary:Brandon primarily worked on porting the `snarkyjs` library from a monorepo. They made significant changes to the codebase by updating typechecks and adding a few more types. Furthermore, the user contributed to the development of several data structures and classes related to zkApps, including `Body`, `Events`, and `MerkleList`. These changes suggest a focus on building out the foundational components of the framework.
typescript
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.