https://github.com/dawn-lang/umcc

Untyped Multistack Concatenative Calculus
https://github.com/dawn-lang/umcc

Last synced: 1 day ago
JSON representation

Untyped Multistack Concatenative Calculus

• Host: GitHub
• URL: https://github.com/dawn-lang/umcc
• Owner: dawn-lang
• License: mpl-2.0
• Created: 2021-12-21T07:59:27.000Z (almost 3 years ago)
• Default Branch: main
• Last Pushed: 2022-02-25T00:19:39.000Z (over 2 years ago)
• Last Synced: 2024-05-22T22:31:07.529Z (6 months ago)
• Language: Rust
• Size: 108 KB
• Stars: 9
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

• awesome-rust-formalized-reasoning - Untyped Multistack Concatenative Calculus - toy programming language and prototype for [Dawn](https://www.dawn-lang.org). (Programming Language / Libraries)

README

        
# Untyped Multistack Concatenative Calculus

The untyped multistack concatenative calculus, implemented in Rust. A toy programming language and prototype for [Dawn](https://www.dawn-lang.org/).

## Native REPL

To build and run the native REPL:

```sh

cargo run

```

## Web REPL

To build the web REPL:

```sh

(cd umcci-web; wasm-pack build --target web)

```

To serve the web REPL using python's built-in http server:

```sh

(cd umcci-web; python3 -m http.server)

```

## License

Licensed under the [Mozilla Public License, v. 2.0](LICENSE).

## Contribution

Unless You explicitly state otherwise, any Contribution intentionally submitted

for inclusion in the Covered Software by You, as defined in the Mozilla Public

License, v. 2.0, shall be licensed as above, without any additional terms or

conditions.