Untyped Concatenative Calculus

Related tags

Utilities ucc
Overview

Untyped Concatenative Calculus

The untyped concatenative calculus, implemented in Rust. A toy programming language and prototype for Dawn.

Native REPL

To build and run the native REPL:

cargo run

Web REPL

To build the web REPL:

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

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

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

License

Licensed under the Mozilla Public License, v. 2.0.

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.

You might also like...
Comments
Owner
The Dawn Programming Language
The Dawn Programming Language
The classic game Pong, written in lambda calculus, and a thin layer of Rust.

What? The good old game Pong, written in lambda calculus, and a thin layer of Rust. Why? I was bored. No, seriously, why? Everyone keeps saying that l

null 2 Aug 14, 2022
λ-calculus parser made by rust

Lambda Calculus Parser This is a parser for λ-calculus expressions. It takes a λ-terms as input, parses it and returns a JSON representation of the te

Lee ByeongJun 4 Apr 17, 2023
untyped-arena provides an Arena allocator implementation that is safe and untyped with minimal complexity

untyped-arena untyped-arena provides an Arena allocator implementation that is safe and untyped with minimal complexity Usage let arena = Arena::new()

Max Bruce 1 Jan 9, 2022
An implementation of Joker Calculus in Rust

Joker Calculus An implementation of Joker Calculus in Rust Based on paper Joker Calculus, by Daniel Fischer, William Alexander Morris and Sven Nilsen

AdvancedResearch 4 Jan 17, 2022
The classic game Pong, written in lambda calculus, and a thin layer of Rust.

What? The good old game Pong, written in lambda calculus, and a thin layer of Rust. Why? I was bored. No, seriously, why? Everyone keeps saying that l

null 2 Aug 14, 2022
λ-calculus parser made by rust

Lambda Calculus Parser This is a parser for λ-calculus expressions. It takes a λ-terms as input, parses it and returns a JSON representation of the te

Lee ByeongJun 4 Apr 17, 2023