Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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.