Syneth  Syneth

[!WARNING] ONLY FOR GITHUB: Read-Only Repository Mirror

This repository is an automated mirror of the primary infrastructure based on Fossil SCM. Issues opened via the GitHub interface are not monitored and will be ignored. Pull Requests submitted on GitHub will not be merged on this platform; instead, they will be exported and imported into the primary Fossil infrastructure via .pack files.

To contribute to the source code, report bugs (Bug Tracking), or consult the primary cryptographic revision tree, please refer exclusively to the official instance: Official Fossil Infrastructure

Syneth is an experimental geometric compiler built as a spare-time project. Based on Category Theory, it uses n-dimensional globular graphs instead of the traditional text/syntax-based execution, treating code as pure topology. It optimizes execution through thermodynamic graph-rewriting (homotopies).

Status

Currently, this is no more than a personal didactical project.

Core Concepts

This is an experimental kernel based on n-globular graphs. The first stage of the compiler is written in Lean 4 and uses C FFI with Clang as a dependency (for LLVM IR compilation). It natively embeds analogs to the concepts of Multimodal Type Theory (MTT), functorial boxes, and directed Homotopy Type Theory (dHoTT).

This project can help in learning about:

  • Basic concepts of Category Theory
  • n-globular graphs
  • Topological computation
  • Simple compiler architecture
  • Comprehending bootstrapping logic
  • Lean 4 programming with a practical project
  • Lean 4 FFI with C
  • Theory of computation inherent to modern Type Theory (MTT, HoTT)
  • Computational (directed) Homotopy Theory

The main benefit is learning from the direct application of these concepts. There is no intent to make this formalization rigorous or to follow standard academic rules at the moment.

ROADMAP

This is a side project developed entirely in my free time. Therefore, the following is a highly indicative and approximate roadmap; please treat it as such.

The objective of this project is primarily for learning purposes.

For the full roadmap refer to ROADMAP.

How to start

To understand the simple project structure, refer to this repo structure.

For general documentation, look at the docs index.

How to Contribute

Given the experimental and personal nature of this project, contributions are welcome, but please open an issue to discuss your ideas before submitting major changes.

A contribution can simply be a discussion about these topics on the wiki page. Since this repository uses Fossil, contributions work by submitting a bundle (or patch) of your modifications.

For detailed contribution guidelines, refer to: CONTRIBUTING.

For general behavior standards, please see the CODE OF CONDUCT.

Licensing

This repository contains assets distributed under multiple licenses. Unless explicitly stated otherwise within the metadata of the individual files (via SPDX identifiers):

  • Source Code: Released under the Apache License 2.0. Full details are available in LICENSES/Apache-2.0.txt.
  • Documentation, Images, and Multimedia Assets: Released under the Creative Commons Attribution 4.0 International License. Full details are available in LICENSES/CC-BY-4.0.txt.