ManifoldScript
Planning Language
A tensor-first planning language with declarative syntax for expressing complex planning domains and actions.
Fast Compilation
Optimized tensor operations
Hardware Support
Multiple architecture support
Cross-Platform
Works on various systems
Language Features
Core features of the ManifoldScript planning language
Domain Specification
Define planning domains with typed objects and predicates
Action Language
Express actions with preconditions and effects
Tensor Types
Native support for tensor-based data structures
Tensor-First Syntax
Declarative language designed for tensor operations
Compiler Toolchain
Complete toolset for optimization, visualization, and deployment
Type Safety
Strong type system with compile-time verification
ManifoldScript Compiler Demo
Try the ManifoldScript compiler directly in your browser
Syntax Highlighting
ManifoldScript syntax support with error detection
Compilation Output
View compilation results and optimization metrics
Export Code
Download ManifoldScript files (.mani format)
Get Started with ManifoldScript
Installation guide and quick start resources for ManifoldScript
Installation
Download and install ManifoldScript
Verify the installation
Create a new ManifoldScript project
Note: ManifoldScript compiler requires minimal system resources. Check the documentation for installation details.
Quick Start Resources
Read the Documentation
Learn the syntax and features of ManifoldScript
Try the Examples
Explore ready-to-use planning domains
Join the Community
Connect with other developers on Discord
First ManifoldScript Program
(manifold hello_world
:requirements (:strips)
:action (say_hello)
:effect (hello_world))
)
Save this as hello.mani and run: manifoldc hello.mani