MINIMACY

Computing is something too serious to be left to machines.

Humans must be able to understand 100% of what's going on in the machine. Otherwise, there can be no serious talk of cybersecurity or sovereignty.

No technology allows it today... except MINIMACY!

MINIMACY is a new minimalism:
all you need to understand 100% of your system operations fits in your single brain

Secure your IOTs and server infrastructures.

Don't trust opaque systems or black boxes. They already contain vulnerabilities you have no idea about.

Don't build your security on sand

MINIMACY removes black boxes, and enables a true "shift left" design process

Keep your software development under control

You perform better when your system is simple and crystal clear:

You don't waste time guessing how it works, nor risk regression when your dependencies evolve
You are not blocked from creating or upgrading your system
You get exactly what you need, nothing more.

MINIMACY clears the room, and smart software development may begin.

How to bring this 100% control back within reach of the human brain?

There are 4 mandatory requirements:

use ultra-light, stand-alone, open source technology
use concise, high-level programming language
benefit from perfect readability of calculations down to low-level
find all the answers in human documentation

Only MINIMACY meets these requirements

A portable stand-alone technology that can work with or without an operating system

Develop once, deploy anywhere including bare metal.
MINIMACY VM source code is less than 900kB (C language).

A high-level, and powerful language

//------------ list concatenation

fun listConcat p q =

if p==nil then q else (head p):listConcat (tail p) q;;

//------------ apply a function on a list

fun listMap p f =

if p<>nil then (call f head p):listMap (tail p) f;;

//------------ return the length of a list

fun listLength p =

if p==nil then 0 else 1+listLength (tail p);;

> compiling...

> type inference:

> fun listConcat: fun list a1 list a1 -> list a1

> fun listMap : fun list a1 fun a1 -> a2 -> list a2

> fun listLength: fun list a1 -> Int

> compiled in 0 ms

Inspired by Lambda-calculus:

Concise, linear, safe.
Strong static typechecking with type inference.
ML style

Perfect readability of calculations down to low-level

The combination of a high-level language, an instant compiler, and a virtual processor.

MINIMACY makes it easy to follow the calculation from the high-level to the low-level (aka what the cpu actually computes).

Human documentation

Discover the it-book, a new way to interact with the community.
The it-book keeps the documentation accurate, useful, and consistent.
React, ask questions, get answers.
Follow the "Start here..." link in the top menu.

Time to apply "Less is more"
to software

a versatile virtual processor with an embedded compiler
The combo "compiler/virtual processor" guarantees the safety of the execution, and reduces the distance between the high-level language and the hardware.

This technology makes it easy to follow the path from the high-level source code to the bytecode and then to the native functions.

Less than 900 Ko of source code for the Virtual Processor and its compiler.
program with the MINIMACY high-level language, optimize with C
Start writing your program with the MINIMACY programming language.

If ever it isn't fast enough, identify one or two functions with intensive computation, and extend the virtual processor with small and native instructions written in C.
all the information you need in one place
MINIMACY really gives you the keys to a complete control over what your system is computing

On this site you find a stable distribution, including the virtual processor, the core libraries and the documentation with the corresponding source code.

The documentation is presented in a new form "The Book", that allows you to react and ask questions that in turn enrich the documentation for the benefit of all. We consider that if you have a question it is because the documentation is not clear enough, so we fix it.
designed to run without an operating system
The virtual processor runs on Windows, Linux, MacOs, iOs, RaspberryPi with the minimum interaction with the operating system.

MINIMACY runs also without an operating system, paving the way for a 100% understanding of your system.

Technical specifications

Now you're gonna perform

Get started