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

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

Last synced: about 1 month ago
JSON representation

Untyped Concatenative Calculus

• Host: GitHub
• URL: https://github.com/dawn-lang/ucc
• Owner: dawn-lang
• License: mpl-2.0
• Created: 2021-10-06T03:51:20.000Z (over 2 years ago)
• Default Branch: main
• Last Pushed: 2021-12-25T03:26:30.000Z (over 2 years ago)
• Last Synced: 2024-02-11T14:02:31.413Z (5 months ago)
• Language: Rust
• Size: 67.4 KB
• Stars: 18
• Watchers: 1
• Forks: 1
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Lists

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

README

        
# Untyped Concatenative Calculus

The untyped 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 ucci-web; wasm-pack build --target web)

```

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

```sh

(cd ucci-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.