diff --git a/c/raylib_bindings.c b/c/raylib_bindings.c
index 2026b1a..ccff2ff 100644
--- a/c/raylib_bindings.c
+++ b/c/raylib_bindings.c
@@ -523,3 +523,13 @@ lean_obj_res drawPixelV(lean_obj_arg position_arg, lean_obj_arg color_arg) {
   DrawPixelV(position, color);
   return IO_UNIT;
 }
+
+lean_obj_res setConfigFlags(uint64_t flags) {
+  SetConfigFlags(flags);
+  return IO_UNIT;
+}
+
+lean_obj_res setWindowState(uint64_t flags) {
+  SetWindowState(flags);
+  return IO_UNIT;
+}
diff --git a/lean/Raylean/Core.lean b/lean/Raylean/Core.lean
index 8b246b3..e0818b6 100644
--- a/lean/Raylean/Core.lean
+++ b/lean/Raylean/Core.lean
@@ -142,3 +142,15 @@ opaque drawTexturePro : (texture : @& Texture2D) -> (source : @& Rectangle) -> (
 
 @[extern "drawPixelV"]
 opaque drawPixelV : (position : @& Vector2) -> (color : @& Color) -> IO Unit
+
+@[extern "setConfigFlags"]
+opaque setConfigFlags : (flags : UInt64) -> IO Unit
+
+@[extern "setWindowState"]
+opaque setWindowState : (flags : UInt64) -> IO Unit
+
+namespace Flags
+
+def vsyncHint : UInt64 := 0x00000040
+
+end Flags