Why Download Tutorial Reference

An open-source minimalist computing technology

Today's systems are complicated and opaque
and therefore weak and unsecure

How do you address these topics?
  • cybersecurity when you don’t even know what components your system uses
  • sustainability when most of your cpus time is spent on something other than the calculation you really need
  • sovereignty because if you don’t control the way your system is running, others do

The Minimacy rationale:

Let's make of computing a human thing again!

How to simplify?

  • reduce the amount of knowledge required
  • remove any needless feature from your system
  • use a programming language which is concise, readable and safe

Minimacy is all about that!

//------------ list concatenation
fun conc p q =
    if p==nil then q else (hd p):conc (tl p) q;;
//------------ apply a function on a list
fun map l f =
    if l<>nil then (call f hd l):map (tl l) f;;
//------------ return the length of a list
fun listLength l =
    if l==nil then 0 else 1+listLength (tl l);; 
> compiling...
> type inference:
> fun conc      : fun list a1 list a1 -> list a1
> fun map       : fun list a1 fun a1 -> a2 -> list a2
> fun listLength: fun list a1 -> Int
> compiled in 0 ms

Time to apply "Less is more" to software

Now you're gonna perform

Get started