Peek inside

  • Is Ajla programming language useful for you?
  • Screenshots of example programs: a file manager, a smartphone to PDF document scanner, and a sunset calculator for outdoor walks.
  • Hybrid technology pairs crash prevention of functional core with ease of procedural syntax, including keywords like if, for, and goto.
  • GPL free software that runs on Linux, Windows, macOS, Android and more.
  • For experts: purely functional, thunks, mutable local vars, immutable globals, ref-counting, efficient mutable arrays, parallel execution automation, world-token passing, no monads, pre/postconditions supported, Z3 verification & proof

See More...

What is Ajla?

Ajla is a purely functional programming language aiming at ease of use that has a look-and-feel like traditional procedural languages. Ajla is free software released under the GPL3 license.

See More...

Installation manual including download

Includes the download step at the right moment.

News

  • 8 Nov 2025: Ajla 0.3.1 released
  • 28 Oct 2025: Ajla 0.3.0 released
  • 27 Jul 2025: Ajla 0.2.2 released
  • 13 Jul 2025: Ajla 0.2.1 released
  • 28 Nov 2024: Ajla 0.2.0 released
  • See More...

Documentation

Download without install

Please start with the installation manual, which includes the download step, not directly with a download.

Ajla 0.3.1 downloads available:

Example programs

dng2pdf produces PDF from RAW smartphone camera DNG with a sophisticated sharpening algorithm.

acmd (Ajla Commander) file manager resembles Midnight Commander.

See More...

Prerequisites

Hardware

  • 1 GB RAM
  • 210 MB hard disk

See More...

Troubleshooting

  • Slowness: try to set your operating system's CPU governor to "performance", not "ondemand". The "ondemand" governor tends to determine the required clock speed incorrectly and underclocks the CPU cores.
  • Slowness on iPhone iSH: this is an inevitable consequence of Apple's decision to ban native execution on the CPU, so it has to be emulated, which leads to ~ 6 times slowdown.

Contacts

This Ajla website © 2025-2026 by Karel Kulhavý, Mikuláš Patočka is licensed under CC BY-SA 4.0