https://github.com/nanopass/nanopass-framework-racket

nanopass compiler framework for Racket
https://github.com/nanopass/nanopass-framework-racket

nanopass-compiler nanopass-framework nanopass-infrastructure racket

Last synced: 2 months ago
JSON representation

nanopass compiler framework for Racket

• Host: GitHub
• URL: https://github.com/nanopass/nanopass-framework-racket
• Owner: nanopass
• License: mit
• Created: 2015-12-24T18:51:39.000Z (about 9 years ago)
• Default Branch: main
• Last Pushed: 2024-01-20T18:20:49.000Z (about 1 year ago)
• Last Synced: 2024-07-31T09:34:04.858Z (6 months ago)
• Topics: nanopass-compiler, nanopass-framework, nanopass-infrastructure, racket
• Language: Racket
• Homepage: http://nanopass.org
• Size: 26 MB
• Stars: 180
• Watchers: 15
• Forks: 29
• Open Issues: 14
• Metadata Files:
  • Readme: ReadMe.md

Awesome Lists containing this project

• awesome-racket-and-scheme - nanopass-framework-racket

README

        
[![Build Status](https://travis-ci.org/nanopass/nanopass-framework-racket.svg?branch=master)](https://travis-ci.org/nanopass/nanopass-framework-racket)

Nanopass Compiler Library

==========================

This repositiory contains a Racket version of the Nanopass Compiler

Infrastructure described in \[1, 2, 3, 4\], along with the beginnings of a test

compiler for the library and the rough start to a users guide.  The nanopass

framework for Racket has been tested on Racket version 6.0, 6.1, 6.2, and the

current development version.  An R6RS Scheme version also exists which support

Chez Scheme, Vicare Scheme, and Ikarus Scheme.

Files

======

    ReadMe.md               -- this readme file

    Acknowledgements        -- thanks to those who have supported the work

    Copyright               -- copyright information

    TODO                    -- the head of the infinite todo list

    LOG                     -- change log for the nanopass framework

    main.rkt                -- the main interface to the nanopass compiler library

    base.rkt                -- the main interface to the nanopass/base compiler library

    private/                -- contains the parts that nanopass.ss aggregates

    lang/reader.rkt         -- contains the Racket lang definition for the nanopass framework

    tests/                  -- contains a testing compiler along with tests for that

                               compiler and a driver for running the tests

    tests/test-all.rkt      -- is a simple wrapper for importing the compiler and

                               performing a testing run of all of the tests.

    doc/                    -- contains a user guide and developer guide along with a

                               makefile for generating their pdfs with pdflatex

For more information on using the pre-compile binaries, see the README.md file

in the `lib` directory.

References

===========

[1] A. Keep and R. K. Dybvig. A Nanopass Compiler for Commercial Compiler

    Development. In ICFP ’13: Proceedings of the 18th ACM SIGPLAN International

    Conference on Functional Programming, New York, NY, USA, 2013. ACM.

[2] A. Keep. A Nanopass Framework for Commercial Compiler Development.

    Doctoral dissertation, Indiana University,

    Bloomington, Indiana, USA, Feb. 2013.

[3] D. Sarkar. Nanopass Compiler Infrastructure. 

    Doctoral dissertation, Indiana University, 

    Bloomington, Indiana, USA, 2008.

[4] D. Sarkar, O. Waddell, and R. K. Dybvig. A nanopass infrastructure for 

    compiler education. In ICFP ’04: Proceedings of the ninth ACM SIGPLAN 

    International Conference on Functional Programming, pages 201–212, 

    New York, NY, USA, 2004. ACM.