This Innmind organization intends to prove a theory of consciousness.
To try to reach this goal this organization provides high level abstractions and tools (mixing Object Oriented and Functional programming) that can be used in any project.
Some of the most important packages:
innmind/frameworkto build HTTP and CLI apps
innmind/black-boxis a test framework focused on Property Based Testing
innmind/operating-systemabstract all operations done to the OS (Networking, Filesystem, etc...)
innmind/mantleis an async framework allowing to write async code as if it were synchronous
innmind/amqpis a functional Client to AMQP servers such as RabbitMQ
innmind/immutableprovides immutable data structures
Some useful tools:
innmind/git-releaseto simplify creating Semver tags
innmind/lab-stationis a tool to run tests, static analyzer and CS fixer when you update your code
macOS-toolingprovides a macOS app to visualize the dependencies of an organization
Formal is an organization attached to this one but is focused on data persistence.