FaCT - Programming language

code edit

FaCT is an open source programming language created in 2017 by Deian Stefan.

Source code:

git clone https://github.com/PLSysSec/FaCT

#980on PLDB

7Years Old

Flexible and Constant Time Programming Language

FaCT is developed on GitHub and has 92 stars
FaCT first developed in University of California San Diego and Stanford University and PI for Security and Privacy and Inria Sophia Antipolis and IMDEA Software Institute
Read more about FaCT on the web: 1.

Example from the web:

void
swap_conditional(secret mut uint64[5] a, secret mut uint64[5] b, secret uint64 swapi) {
  if (swapi == 1) {
    for (uint32 i from 0 to 5) {
      secret uint64 x = a[i];
      a[i] = b[i];
      b[i] = x;
    }
  }
}