Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/rybla/atf
Abstract transpilation framework.
https://github.com/rybla/atf
haskell latex type-setting
Last synced: 7 days ago
JSON representation
Abstract transpilation framework.
- Host: GitHub
- URL: https://github.com/rybla/atf
- Owner: rybla
- License: mit
- Created: 2019-01-02T02:33:55.000Z (about 6 years ago)
- Default Branch: master
- Last Pushed: 2019-01-28T21:04:58.000Z (almost 6 years ago)
- Last Synced: 2024-11-07T11:13:55.903Z (about 2 months ago)
- Topics: haskell, latex, type-setting
- Language: TeX
- Size: 4.48 MB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: readme.md
- License: LICENSE
Awesome Lists containing this project
README
# Abstract Transpilation Framework
ATF implements an abstractly-defined transpilation flow. ATF takes as input a source text written in ATF-src syntax and a transpilation definition written in ATF-lang syntax, and writes as output the transpiled source.
## Wiki
[The ATF Wiki](https://github.com/Riib11/ATF/wiki)
## Prerequisites
| Description | Link |
|--------------------------|-------------------------------|
| Glasgow Haskell Compiler | https://www.haskell.org/ghc/ |
| Git Command Line Tools | https://git-scm.com/downloads |
## Installation
### MacOS
To install ATF, change to the directory where you want to install the ATF repository and then execute the following:
```bash
git clone https://github.com/Riib11/ATF.git # clone repository to this directory
./ATF/install # run install script
```
**Updating**. To update a previous installation of ATF, change to inside your local clone of the ATF repository and then execute the following:
```bash
git fetch # check for updates
./install # reinstall
```
### Windows
_Unimplemented_
## Documentation
ATF uses the literate haskell style for documentation. Each haskell module (`.lhs` file) has an associated pdf file for documentation, in a pleasantly readable format.
## In Progress
#### Translator sto implement:
* markdown -> html