https://github.com/nathsou/croco

Purely functional programming language based on term rewriting
https://github.com/nathsou/croco

Last synced: about 2 months ago
JSON representation

Purely functional programming language based on term rewriting

• Host: GitHub
• URL: https://github.com/nathsou/croco
• Owner: nathsou
• Created: 2020-08-31T21:07:04.000Z (over 4 years ago)
• Default Branch: master
• Last Pushed: 2021-08-14T17:39:53.000Z (over 3 years ago)
• Last Synced: 2024-10-11T20:42:55.193Z (3 months ago)
• Language: TypeScript
• Size: 582 KB
• Stars: 2
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
[![NPM Package][npm]][npm-url]

[![Build Size][build-size]][build-size-url]

# Croco

A simple purely functional programming language which compiles down to

[girafe](https://github.com/nathsou/Girafe/).

## Installation

```bash

npm install -g croco-lang

```

## Usage

```bash

$ run: croco src.cro [out]

$ compile to intermediate language: croco src.cro out js/ocaml/girafe

$ compile to binary: croco src.cro -c out

```

### Todo

- [ ] support laziness

- [ ] IO

[npm]: https://img.shields.io/npm/v/croco-lang

[npm-url]: https://www.npmjs.com/package/croco-lang

[build-size]: https://badgen.net/bundlephobia/minzip/croco-lang

[build-size-url]: https://bundlephobia.com/result?p=croco-lang