The dream of Leibniz. A project devoted to realising the lingua characteristica and calculus ratiocinator using XML technologies where appropriate. Includes (at this stage mainly consists of) research in philosophy and logic.

Project Activity

See All Activity >

Categories

Mathematics

License

zlib/libpng License

Follow X-Logic

X-Logic Web Site

Other Useful Business Software
Orchestrate Your AI Agents with Zenflow Icon
Orchestrate Your AI Agents with Zenflow

The multi-agent workflow engine for modern teams. Zenflow executes coding, testing, and verification with deep repo awareness

Zenflow orchestrates AI agents like a real engineering system. With parallel execution, spec-driven workflows, and deep multi-repo understanding, agents plan, implement, test, and verify end-to-end. Upgrade to AI workflows that work the way your team does.
Try free now
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of X-Logic!

Additional Project Details

Operating Systems

BSD, Linux

Intended Audience

Developers, Other Audience

User Interface

Web-based

Programming Language

C, Perl, Standard ML

Related Categories

Perl Mathematics Software, C Mathematics Software, Standard ML Mathematics Software

Registered

2000-01-11