HomeFunds overviewFund10F10: Developer Ecosystem - The EvolutionAnastasia Labs - Open Source Production Grade DApps
ID: Idea #100583

Anastasia Labs - Open Source Production Grade DApps


We lack available open source smart contracts, hindering dApp development, innovation, and ecosystem growth. Teams must build from scratch, duplicating work already done by closed source projects.


We will provide and maintain a set of generic open-source production ready DApps that users can either build upon, or use as reference material to learn best practices and design patterns.

Total so far

This is the total amount allocated to Anastasia Labs - Open Source Production Grade DApps

Total Funds Requested


Total votes cast
Votes yes
Votes no

Project milestones

3/4 milestones complete

Explore all milestones in-depth

More detail

Monthly report

Progress report

On track: No
Estimated completion date: -

Progress report

On track: No
Estimated completion date: -


Compiler & Programming Language Research

Philip DiSarro

Philip is a Computer Science Graduate School Student specializing in Compiler Development & Programming Language Theory. He was one of the first developers to formally verify smart contracts in Cardano using Agda. Philip was the lead architect of many features (both live and upcoming) on WingRiders DEX. Philip has also made significant contributions to the Cardano developer ecosystem. As a co-chair of the IOHK developer experience working group he worked to identify and resolve pain points that DApp developers experience in Cardano, and had an integral role in getting Lucid & Plutus Simple Model included in the Plutus Pioneer Program. He is a blockchain consultant & educational lecturer for Emurgo. Many know him as the primary instructor for the Cardano Solutions Architect course. 

Philip is currently the lead smart contract developer at Ikigai Technologies, a consultant and lecturer for Emurgo and a founder of Anastasia Labs.

His previous experience includes:

WingRiders - Lead Smart Contract Developer

Agora - open source contributor

Plutarch-Liqwid-Extra - open-source contributor

Plaid - FinTech Software Engineer

Philip will be responsible for polishing and generalizing the smart contracts, updating them to use new design patterns and reflect advancements in architecture and design, and assisting with documentation.

Functional Programming & TypeScript SDKs

Jonathan Rodriguez

Jonathan is a highly skilled smart contract developer specializing in Cardano, a blockchain technology that he is deeply passionate about.

His passion in smart contract development drives him to constantly polish his technical knowledge. In the pursuit of that knowledge he obtained the following certifications: Cardano Solution Architect, Cardano Developer Professional, and Associate Certificate.

With an extensive background in Haskell development, which is a critical language for Cardano, he possesses a thorough understanding of functional programming concepts.

His expertise extends to various aspects of the Cardano ecosystem, including the Cardano Toolchain, Transaction Structure, Plutus Smart Contracts, Native Tokens, DApp Connector, and other essential components. 

Jonathan is well-versed in conducting use case analysis and tokenomics, as well as interfacing with decentralized storage, server APIs, and integrating databases.

He is knowledgeable in establishing robust CI/CD (Continuous Integration/Continuous Deployment) flows and integrating them into development processes. Additionally, he is skilled in conducting thorough unit testing to ensure the reliability and security of his smart contract solutions.

Johnathon is responsible for contributing to the generalization of the contracts, assisting with documentation and developing thorough unit tests to verify the contract specifications.

Mladen Lamesevic
Mladen Lamesevic
Jonathan Rodriguez
Jonathan Rodriguez
Anastasia Labs
Anastasia Labs