diff --git a/Cargo.lock b/Cargo.lock
index d10b2fb..92f1200 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -9,8 +9,8 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "60b1af1c220855b6ceac025d3f6ecdd2b7c4894bfe9cd9bda4fbb4bc7c0d4cf0"
 
 [[package]]
-name = "simfony-as-rust"
-version = "0.1.7"
+name = "simplicityhl-as-rust"
+version = "0.1.8"
 dependencies = [
  "either",
 ]
diff --git a/Cargo.toml b/Cargo.toml
index e9ecb28..1c7b4a6 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -1,11 +1,11 @@
 [package]
-name = "simfony-as-rust"
-version = "0.1.7"
+name = "simplicityhl-as-rust"
+version = "0.1.8"
 edition = "2021"
 authors = ["Christian Lewe <ch_lewe@agdsn.me>"]
-description = "Tools for working with Simfony as literal Rust"
+description = "Tools for working with SimplicityHL as literal Rust"
 license = "CC0-1.0"
-repository = "https://github.com/uncomputable/simfony-as-rust"
+repository = "https://github.com/blockstreamresearch/simplicityhl-as-rust"
 
 [dependencies]
 either = "1.13.0"
diff --git a/README.md b/README.md
index 610bcdf..7977c60 100644
--- a/README.md
+++ b/README.md
@@ -1,24 +1,24 @@
-# Interface between Simfony as Rust
+# Interface between SimplicityHL as Rust
 
-[![GitHub](https://img.shields.io/badge/github-repo-blue.svg)](https://github.com/uncomputable/simfony-as-rust)
-[![crates.io](https://img.shields.io/crates/v/simfony-as-rust.svg)](https://crates.io/crates/simfony-as-rust)
-[![docs.rs](https://docs.rs/simfony-as-rust/badge.svg)](https://docs.rs/simfony-as-rust)
+[![GitHub](https://img.shields.io/badge/github-repo-blue.svg)](https://github.com/blockstreamresearch/simplicityhl-as-rust)
+[![crates.io](https://img.shields.io/crates/v/simplicityhl-as-rust.svg)](https://crates.io/crates/simplicityhl-as-rust)
+[![docs.rs](https://docs.rs/simplicityhl-as-rust/badge.svg)](https://docs.rs/simplicityhl-as-rust)
 
-The [Simfony](https://github.com/BlockstreamResearch/simfony) language feels very similar to Rust. This crate provides tools to work with Simfony as literal Rust.
+The [SimplicityHL](https://github.com/BlockstreamResearch/simplicityhl) language feels very similar to Rust. This crate provides tools to work with SimplicityHL as literal Rust.
 
 ## Documentation ✅
 
-We define a Rust type for each Simfony type. We define a Rust function for each Simfony jet. `rustdoc` can be used to generate Simfony documentation.
+We define a Rust type for each SimplicityHL type. We define a Rust function for each SimplicityHL jet. `rustdoc` can be used to generate SimplicityHL documentation.
 
 ## Source code conversion 🚧
 
-Simfony code is almost Rust code. For the most part, Simfony lacks advanced features such as generics, so the corresponding syntax is missing.
+SimplicityHL code is almost Rust code. For the most part, SimplicityHL lacks advanced features such as generics, so the corresponding syntax is missing.
 
-Because there are only few and predictable differences, we can convert Simfony code to Rust code with a simple static algorithm. This tool hasn't been written yet, but it would enable us to compile Simfony code with the Rust compiler.
+Because there are only few and predictable differences, we can convert SimplicityHL code to Rust code with a simple static algorithm. This tool hasn't been written yet, but it would enable us to compile SimplicityHL code with the Rust compiler.
 
-This means there would be two paths for a Simfony program:
+This means there would be two paths for a SimplicityHL program:
 
-1. Simfony → Simplicity → Bit Machine
-2. Simfony → Rust → any CPU
+1. SimplicityHL → Simplicity → Bit Machine
+2. SimplicityHL → Rust → any CPU
 
-Using this library as prelude, the Simfony program in (1) that runs on the Bit Machine should behave exactly as the Simfony program in (2) that runs on any CPU.
+Using this library as prelude, the SimplicityHL program in (1) that runs on the Bit Machine should behave exactly as the SimplicityHL program in (2) that runs on any CPU.
diff --git a/src/lib.rs b/src/lib.rs
index d108bba..b55d148 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -1,6 +1,6 @@
-//! Interface between Simfony as Rust
+//! Interface between SimplicityHL as Rust
 //!
-//! The [Simfony](https://github.com/BlockstreamResearch/simfony) language feels very similar to Rust.
-//! This crate provides tools to work with Simfony as literal Rust.
+//! The [SimplicityHL](https://github.com/BlockstreamResearch/simplicityhl) language feels very similar to Rust.
+//! This crate provides tools to work with SimplicityHL as literal Rust.
 
 pub mod jet;