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: about 1 month 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 (over 2 years ago)
- Default Branch: main
- Last Pushed: 2022-02-25T00:19:39.000Z (over 2 years ago)
- Last Synced: 2024-02-11T14:02:41.023Z (5 months ago)
- Language: Rust
- Size: 108 KB
- Stars: 9
- Watchers: 1
- Forks: 0
- Open Issues: 0
Lists
- awesome-rust-formalized-reasoning - Untyped Multistack Concatenative Calculus - toy programming language and prototype for [Dawn](https://www.dawn-lang.org). (Programming Language / Libraries)