diff --git a/README.md b/README.md
index a64694c60f..26bc8ff2da 100644
--- a/README.md
+++ b/README.md
@@ -16,7 +16,7 @@ For detailed documentation please visit [the powdr book](https://docs.powdr.org/
 It has two main components:
 
 - powdr-asm: an extensible assembly IR language to perform dynamic executions.
-- powdr-PIL: a low level constraint language that allows you to define arithmetic constraints, lookups, etc.
+- powdr-PIL: a low-level constraint language that allows you to define arithmetic constraints, lookups, etc.
   
 Both frontend and backend are highly flexible.
 
diff --git a/airgen/src/lib.rs b/airgen/src/lib.rs
index 9532291e4e..5f1affb1e0 100644
--- a/airgen/src/lib.rs
+++ b/airgen/src/lib.rs
@@ -163,7 +163,7 @@ impl<'a, T: FieldElement> ASMPILConverter<'a, T> {
             flag: flag.clone(),
         };
 
-        // get the machine type name for this submachine from the submachine delcarations
+        // get the machine type name for this submachine from the submachine declarations
         let instance_ty_name = self
             .submachines
             .iter()
diff --git a/analysis/README.md b/analysis/README.md
index 3524c3644f..14a96bc4aa 100644
--- a/analysis/README.md
+++ b/analysis/README.md
@@ -68,11 +68,11 @@ machine DifferentSignatures {
 
 ### Type checking
 
-Type checking takes a parse tree and returns a tree of machines. The output type aims at being as strict as possible.
+Type checking takes a parse tree and returns a tree of machines. The output type aims to be as strict as possible.
 
 ### Virtual machine reduction
 
-Virtual machine reduction turns virtual machines into constrained machines. It has no effect on contrained machines.
+Virtual machine reduction turns virtual machines into constrained machines. It has no effect on constrained machines.
 
 #### Inference
 
@@ -662,4 +662,4 @@ pol constant _block_enforcer_last_step = [0]* + [1];
 pol commit _operation_id_no_change;
 _operation_id_no_change = ((1 - _block_enforcer_last_step) * (1 - instr_return));
 (_operation_id_no_change * (_operation_id' - _operation_id)) = 0;
-```
\ No newline at end of file
+```
diff --git a/analysis/src/block_enforcer.rs b/analysis/src/block_enforcer.rs
index 4598740aab..211e1bb46e 100644
--- a/analysis/src/block_enforcer.rs
+++ b/analysis/src/block_enforcer.rs
@@ -12,7 +12,7 @@ pub fn enforce<T: FieldElement>(mut file: AnalysisASMFile<T>) -> AnalysisASMFile
             let last_step = "_block_enforcer_last_step";
             let operation_id_no_change = "_operation_id_no_change";
 
-            // add the necessary embedded constraints which apply to both static and dynamic machines
+            // add the necessary embedded constraints that apply to both static and dynamic machines
             let embedded_constraints = [
                 // inject last step
                 parse_pil_statement(&format!("col constant {last_step} = [0]* + [1]")),
diff --git a/analysis/src/vm/batcher.rs b/analysis/src/vm/batcher.rs
index 4340bbd8a3..9967505ef7 100644
--- a/analysis/src/vm/batcher.rs
+++ b/analysis/src/vm/batcher.rs
@@ -27,7 +27,7 @@ impl<'a, T: FieldElement> Batch<'a, T> {
         }
     }
 
-    /// Returns true iff this batch consists exclusively of labels and debug directives
+    /// Returns true if this batch consists exclusively of labels and debug directives
     fn is_only_labels_and_directives(&self) -> bool {
         self.statements.iter().all(|s| {
             matches!(
diff --git a/analysis/src/vm/mod.rs b/analysis/src/vm/mod.rs
index 735997e2f3..0729805661 100644
--- a/analysis/src/vm/mod.rs
+++ b/analysis/src/vm/mod.rs
@@ -1,5 +1,5 @@
 //! Analysis for VM machines, reducing them to constrained machines
-//! Machines which do not have a pc should be left unchanged by this
+//! Machines that do not have a pc should be left unchanged by this
 
 use ast::{asm_analysis::AnalysisASMFile, DiffMonitor};
 use number::FieldElement;
diff --git a/ast/src/analyzed/mod.rs b/ast/src/analyzed/mod.rs
index 3ac47b2412..6cdc063c2b 100644
--- a/ast/src/analyzed/mod.rs
+++ b/ast/src/analyzed/mod.rs
@@ -226,7 +226,7 @@ impl<T> Analyzed<T> {
         self.identities.push(Identity {
             id,
             kind: IdentityKind::Polynomial,
-            attribute: None, // TODO(md): None for the meantime as we do not have tagged identities, will be updated in following pr
+            attribute: None, // TODO(md): None for the meantime as we do not have tagged identities, will be updated in the following pr
             source,
             left: SelectedExpressions {
                 selector: Some(identity),
diff --git a/ast/src/asm_analysis/mod.rs b/ast/src/asm_analysis/mod.rs
index 9da5259be7..1bce7a0bba 100644
--- a/ast/src/asm_analysis/mod.rs
+++ b/ast/src/asm_analysis/mod.rs
@@ -72,7 +72,7 @@ pub struct Instruction<T> {
 #[derive(Clone, Debug)]
 pub struct LinkDefinitionStatement<T> {
     pub start: usize,
-    /// the flag which activates this link. Should be boolean.
+    /// the flag that activates this link. Should be boolean.
     pub flag: Expression<T>,
     /// the parameters to pass to the callable
     pub params: Params<T>,
diff --git a/backend/src/pilstark/json_exporter/expression_counter.rs b/backend/src/pilstark/json_exporter/expression_counter.rs
index 86784af074..8cae1938c3 100644
--- a/backend/src/pilstark/json_exporter/expression_counter.rs
+++ b/backend/src/pilstark/json_exporter/expression_counter.rs
@@ -36,7 +36,7 @@ pub fn compute_intermediate_expression_ids<T>(analyzed: &Analyzed<T>) -> HashMap
 }
 
 trait ExpressionCounter {
-    /// Returns the number of (top-level) expression generated for this item.
+    /// Returns the number of (top-level) expressions generated for this item.
     fn expression_count(&self) -> usize;
 }