Search results

Cryptography learning through interactive puzzles and challenges

A supplemental maths programme built around visual puzzles and animated feedback.

An annual collection of language-independent programming puzzles

Maths puzzles, logic games, spatial challenges and problem-solving activities.

Maths explanations, puzzles, games, a dictionary and worksheets.

Online maths activities, puzzles, investigations and visual teaching aids.

Automatically records coding activity in developers’ editors and summarizes time by project.

School-topic videos, quizzes, diagrams, puzzles and other learning activities.

A design skill that helps AI coding agents build and refine user interfaces.

Animal, science, history and space content alongside quizzes, puzzles and videos for children.

An AppSec workflow that tests running applications and helps coding agents find, fix, and verify exploitable issues before a pull request.

A local desktop IDE for running coding-agent CLIs and reviewing their project changes.

Code documents and images, retrieve related passages, and organize qualitative findings.

Turns rough ideas into clear specs for AI coding agents

Open-source AI coding agent that works inside your IDE and can run on your own infrastructure.

Governor grounds coding agent requests in your code and routes them to the best model

Self-hosted AI pair programmer for coding, review, and debugging.

Invisible AI interview assistant with real-time help for live interviews and coding tests.

Analyze qualitative and mixed-methods material with coding, speaker comparisons and visual outputs.

Coding agent that builds, tests, and demos software features.

Traces AI agents in production and dispatches coding agents to fix failures.

Business rules and security guards for AI coding agents

Turns ideas and GitHub repos into specs for AI coding tools

AI coding agents for planning, building, reviewing, and shipping software.