IDENTIFICATION DIVISION. PROGRAM-ID. SUPERBOL.



END PROGRAM SUPERBOL.


Experts of the
free and modern COBOL

Our mission is to give a second life to COBOL infrastructures

SuperBOL develops and commercialises sovereign solutions based on the GnuCOBOL open source compiler to facilitate the migration of strategic infrastructures.

Our aim is to put SuperBOL at the heart of an ecosystem by building strategic partnerships with interested parties
(public administrations, software and IT services companies…)

Revitalising applications
SuperBOL brings the agility needed for the fast evolution of COBOL applications as well as optimised performances.
Reducing costs
Open source software reduces the cost of licensing on both the compiler and the environment.
Ensuring longevity
We work with the longevity of both software and hardware in mind.
Bringing back sovereignty
For the independence of users regarding software lock-ins and non-Europeans mainframes.

SuperBOL is the first French contributor to the free GnuCOBOL compiler


Testimonial

"We are happy to be able to contribute to the handling of the GCOS dialect in GnuCOBOL. This dialects is widely used within our department, which has developed a large code base on GCOS COBOL. Now that the time has come to decommission GCOS systems, COBOL on Linux is our chosen target, and the GnuCOBOL compiler is its cornerstone. We extend our sincere gratitude to the OCamlPro teams [...] for their support."

Olivier Blanc (DGFiP) - Published on LinkedIn

About us

SuperBOL relies on a software company with more than 10 years of experience

SuperBOL is a team of the software company OCamlPro specialised in R&D on programming languages. This software company was created in 2011 by Fabrice Le Fessant, formerly “polytechnicien” researcher at Inria. True to its academic origin, OCamlPro’s engineers are in majority holders of PhDs in Computer Science.

Expertise

  • Programming languages
    Compilation and interpretation of programs
  • Software safety
    Formal certification
  • Automatic treatment of programs
    Static analysis