MINIMACY

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

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

The MINIMACY architecture

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).

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

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.

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 get exactly what you need, nothing more.

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

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