A new project, open-sourcing soon.
We're preparing to open-source a new project. Same principle: build it right, in the open, and let the work speak for itself.
Get notified Open source
We build our AI tools in the open.
Synalinks, Synalog, and Synalinks Skills are Apache-2.0 and developed in public, with a small but growing community around them. They're why we can promise engineering-grade AI: we've built it ourselves, at the deepest level of the stack, where anyone can read the code.
This page is technical. What it means for your business: the tools we use to make your data AI-ready are public, inspectable and free, so you never depend on us to keep them running. See our services
- 1.4k GitHub stars
- 1.6k PyPI downloads / mo
- Apache-2.0 license
Synalinks
A neuro-symbolic framework for language-model applications.
Synalinks is a framework for building, training, and deploying language-model applications (RAGs, autonomous agents, and self-evolving reasoning systems) with a clean, declarative API inherited from Keras. It brings deep-learning discipline to AI systems: compose components, optimize them against real metrics, and deploy them as production services.
Get started
$ uvx synalinks init Why it matters for you: the systems we build for you are measurable and repeatable, because the framework enforces structured outputs and optimization against metrics rather than impressions.
Synalog
Turning raw tables into structured, verified knowledge.
Synalog is a logic engine that turns raw relational data into a semantic layer of named concepts, rules, and knowledge graphs, compiled to optimized SQL and checked by a formal verifier before anything runs. It's how raw tables become meaning a machine can reason over, with full lineage from answer back to source.
Recursion, not raw SQL
Fib(step: 0, a: 0, b: 1);
@Recursive(Fib, 12);
Fib(step: s1, a: b, b: c) :-
Fib(step: s, a:, b:),
s1 == s + 1,
c == a + b;
@OrderBy(Fibonacci, "step");
Fibonacci(step:, value: a) :- Fib(step:, a:, b:);$ uvx synalog fib.l run Fibonacci
0 1 1 2 3 5 8 13 21 34 55 89 144
Why it matters for you: your business rules become code that is verified before it runs, and every answer traces back to the data that produced it. That is what makes an answer defensible to a customer or a regulator.
Synalinks Skills
Synalinks know-how, packaged for coding agents.
Synalinks Skills is a library of skills in the open SKILL.md format that
teaches coding agents to write idiomatic Synalinks: scannable
guides, runnable scripts, and deep-dive references covering the framework end to end.
Without that guidance, a model mixes syntaxes and produces plausible-looking but
broken code; with it, it works like one of us.
Why it matters for you: we know how to turn a way of working into instructions a machine executes. We did it on our own: it's exactly the work we do on your teams' know-how.
Built in the open, with a community around it.
Our frameworks are Apache-2.0 and developed in public. Star the repos, open an issue, or join the conversation. And if you'd rather have us apply this depth to your business, that's what our services are for.