Back to Projects
Marlowe
Lorem ipsum dolor sit amet, consectetur adipiscing elit. Vestibulum luctus felis in nisi tincidunt, vitae facilisis enim tempor.
Category: Developer Tooling
Description
Marlowe is a domain-specific language and toolkit for creating financial smart contracts on Cardano with formal verification and automated testing capabilities.Technology & Skills
SCHEMA DESIGN
CONFIDENTIALITY
GROWTH MARKETING
AGENTIC WORKFLOWS
INFORMATION SECURITY
PROCUREMENT
FLEET
STAKEHOLDER COORDINATION
MARKETING
POSTGRESQL
QUERY OPTIMISATION
ARCHITECTURE
KPI FRAMEWORK
DATA STRUCTURES
COMMUNITY
SYSTEMS THINKING
DISCRETION
SECURITY STANDARDS
AI STRATEGY
WORKFLOW AUTOMATION
LOGISTICS
BUDGET MANAGEMENT
BOARD COMMUNICATION
QUERY OPTIMIZATION
NOTE-TAKING
RISK MANAGEMENT
PROJECT MANAGEMENT
ENGINEERING-OPERATING-SYSTEM
WEBSOCKETS
SOP
CONTRACT MANAGEMENT
SLACK
TROUBLESHOOTING
OPERATIONS MANAGEMENT
COMMUNICATION
CONCURRENCY
CRYPTOGRAPHY
OKR
SLA
BUDGETING
TRAVEL COORDINATION
TESTING
MAINTENANCE
BLOCKCHAIN
COMPLIANCE
ONBOARDING
JIRA
OPERATIONS
CARDANO
SUBXT
DATA GOVERNANCE
AGENTIC SYSTEMS
CODE REVIEW
DEFI
EXECUTIVE LEADERSHIP
ENGINEERING DELIVERY
WEB3
WASM
SPREADSHEET
PROJECT TRACKING
AI
AGENTIC PROGRAMMING
DOCUMENTATION
POLKADOT
INVENTORY
PARTNERSHIPS
RUST
API DESIGN
SQLITE
ENTERPRISE SERVICES
TALENT MANAGEMENT
GOOGLE SUITE
VENDOR MANAGEMENT
WORKFORCE PLANNING
AI TOOLS
CONTENT
ORGANISATIONAL DESIGN
EXECUTIVE SUPPORT
SUBSTRATE
ZERO-KNOWLEDGE PROOF
INCIDENT RESPONSE
PARTNER MARKETING
OPERATIONAL PLATFORMS
GOVERNANCE
OBSERVABILITY
DISTRIBUTED SYSTEMS
TECHNICAL STRATEGY
DOCKER
BUSINESS CONTINUITY
DEVELOPER ECOSYSTEM
GOOGLE WORKSPACE
CONFLUENCE
ANALYTICS
NOTION
GRAPHQL
LEADERSHIP
CONSENSUS PROTOCOL VERIFICATION
AGENCY
CYBERNETICS
EXPENSE TRACKING
BUSINESS OPERATING SYSTEM
ASYNC/AWAIT
FRAMEWORKS
TECHNICAL DUE DILIGENCE
BILLING
CALENDAR MANAGEMENT
VENTURE STUDIO
CAMPAIGN
ENGINEERING CULTURE
TOKIO
SECURITY EQUIPMENT
ALGORITHMS
EMAIL
FORMAL VERIFICATION