hello@nexaaly.comWrite to us
Write to us

Products

Our own software. Built and measured here.

Everything here is ours, from the design to the engine. Each one says exactly where it stands.

Private preview

Nexapad

Time, shifts and absence. Finally simple.

Time tracking, shift plans and absence for Danish companies, so simple it explains itself. And your AI assistant can run it for you, with exactly the access you hand it.

Learn moreabout Nexapad nexapad.dk
  • Built with Rust and PostgreSQL, a web app, and apps for Android and iPhone
  • Works with AI assistants through 144 tools. You choose read only, or read and change
  • Each company’s data kept apart, and CPR numbers encrypted
  • A small 45.9 MB server package that runs without admin rights
Runs this site

glimo

Animation that keeps its cool.

Our animation engine hands every animation to the GPU, so it stays smooth even when the page is drowning in JavaScript. It is running this page right now.

  • Built on the browser’s own animation system, with nothing else to install
  • Springs and curves turned into plain CSS, not run frame by frame in JavaScript
  • About 11 KB for one animation, compressed
  • Tested in the Chrome, Firefox and Safari engines

Our own tools

We build the tools we work with. None of them is for sale.

In use

Nexagate

Web server

Our own web server, written in Rust from the ground up, with HTTP/2, HTTP/3 and automatic HTTPS. In our test it beat nginx, HAProxy and three others.

211,000 HTTP/2 requests a second, against 155,000 for nginx

The lower of two runs each, on 29 September 2026, on one desktop with 4 cores per server, counting only successful responses

Learn moreabout Nexagate
In use

Nexaaly Mail

Mail server

Our own mail server and webmail, in Rust. It handles a message on a fraction of the CPU the classic Postfix and Dovecot pair burns through.

14 times less CPU per message than Postfix with Dovecot

0.62 to 0.68 ms against 9.6 to 9.9 ms for each small message stored, on a desktop PC, 29 September 2026

Learn moreabout Nexaaly Mail
Open source

Phage

Code prover

Proves Rust code correct for every input up to a size we choose, instead of hoping the tests thought of everything. It caught a real bug in an old version of our web server, and one in LLVM, the engine inside the Rust compiler.

31 times faster than Kani, Amazon’s Rust checker, on the same proof

0.285 s against 8.895 s, with the same code and limits on one CPU core, the middle result of 3 full runs. Three checks on Nexagate, not every Rust feature

Learn moreabout Phage
Open source

Repomap

Code maps for AI

Drop an AI agent into a codebase it has never seen, even the Linux kernel’s 65,795 source files, and Repomap tells it where to look first.

87% of the right files are in the first five picks of an AI agent new to the code

86.8% on average over 83 real tasks, in code Repomap was never tuned on. Without the agent, 69.2%. Measured on 30 September 2026

Learn moreabout Repomap
In house

Nexus

AI engineer

Our AI engineer. It measures before it touches anything, and will not call a fix done until the statistics agree.

Learn moreabout Nexus