Skip to content
Axiomagic is a meta-system for interactive exploration
Scala CSS Mathematica
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Type Name Latest commit message Commit time
Failed to load latest commit information.

axiomagic tuning kit

Axiomagic is an open source meta-system for interactive exploration.
Core components use Scala, Akka Http, RDF, and HTML/CSS/Javascript.
Upstream functional generators (Idris, MMT) emit bounded, tunable, explainable smarts for runtime.
Here is a screenshot of an experimental live-generated interactive Javascript+CSS page.
TODO: Replace with real content and milder color contrast.
axiomagic screen shot
(This experiment uses icons downloaded from


Axiomagic is intended for use in domain-specific browsers, calculators, simulators, and games.
Axmgc code applies well to science, finance, and entertainment.


This work builds on models and designs from previous projects, including the Glue-AI 1.x constellation from Stu B22 and pals.

Axiomagic is intended to be a thin layer of functions and tools, relying on the amazing capacity of today's open source components for server, cloud, browser, and edge devices. However the applications built around Axmgc could be rich and sophsiticated, or simple tiny inquiries.

Implementation Technology: Scala, RDF, Akka, Idris, and many web components.

Example Applications

Some current open science experiments helping drive our requirements for Axiomagic:

Practical Motives

Academic Studies

Runtime Pacakaging

Axiomagic provides both Client (AxCli) and Server (AxSrv) components, which may be selectively combined into an embedded (AxEmb) setup.

  • AxCli
    • GUI + network + NUI component suite for general application use.
    • Primarily used in HTML5 + JS environments.
    • Uses rdfjs N3 parser to read inbound turtle-RDF msgs.
    • Optional MIDI connections for tweaking and switching of running components.
    • Authentication and data privacy+portability integrations with WebId and Solid. (link to stub22's community page)
  • AxSrv
    • RDF-mediated logic core for state, query, goal-seeking and planning.
    • Apps authored using lab server components, tested by running AxCli GUI with local info streams.
    • Publish apps as bundled deployments, attached to cloud sources for domain data.
    • Laboratory webServer + dataRoute components use Akka + Scala, running on JVM, on Linux or MS-Win (untried on Mac).
    • Deploy RDF-configured cloud functional components to Lambda and other cloud compute services.
  • AxEmb
    • Embedded components combine features of AxSrv and AxCli for a particular narrow use case.
    • Preferred approach is compiling via Rust to LLVM executable, runnable on micro-OS.

Fun Part : What, Why, How?

These components generate tweakable and routable multidimensional experiences for users, employing color, sound, motion, music. These experiences are defined in terms of timelines, including the familiar concept of events.

Features are added by creating equations, functions, mappings, templates, rules, and schemas. These definitions commonly use parameters, which may be tweaked by users at runtime. The combination of formal mapping with playful tweaking is what we call FAF:

F.ormal A.djustment F.un

Now you know why we make Axiomagic: to have fun times doing Ax-FAF!
But remember, we are also quite formal around here.

The underlying open source components allow us to build apps as interlocking tapestries of:

  • Client GUI code: Uses Vue.js to update HTML+CSS GUI, renders client UI from graphs
  • Client Graphs: RDF in browser via rdfjs, optional JSON-LD, talks to server agents
  • Server Agents: Akka via HTTP, WebSockets, generates custom HTML+data GUI per client
  • Server Graphs: SHACL, GraphQuery, SPARQL, TinkerPop/Gremlin
  • Server Functions: Scala, AWS-Lambda, and similar functions compiled via proof systems embodying modern type theory. See "Research Direction" section below.
    WHERE: ClientGraphs and ServerGraphs are coherently supplied from upstream logic of our functional proof generators (Idris {Haskell, Ocaml}, deep Scala, univalence).

Getting Started

As of 2019-January, Axiomagic contains a skeleton of scala projects, built with maven. We use the Intellij IDEA for a friendly coding experience.

The axmgc.web.pond project contains the runnable object AxmgcPonderApp, in package axmgc.web.pond.

This app launches a web service running Akka HTTP. The service delivers test web pages and RDF-backed query results.

Our javascript UI prototypes are not yet committed to this repository.

Coming Soon: Screenshots, plus perhaps a video?

Research Direction (as of 2019-Feb)

Conceptually Axiomagic embraces dependent types, theorem provers, univalence as discussed broadly here:

Our current upstream compiler prototype uses primarily Idris (agda, ocaml, haskell)), progressing towards a Scala/Rust/StrongTyped2020 module for MMT or equivalent.

Support and Contact

Gitter chatrooms:

You can’t perform that action at this time.