diff --git a/emacs.el b/emacs.el
index d3e70cd..cfa2ef4 100644
--- a/emacs.el
+++ b/emacs.el
@@ -35,6 +35,7 @@
 (straight-use-package 'fish-mode)
 (straight-use-package 'svelte-mode)
 (straight-use-package 'yaml-mode)
+(straight-use-package 'cmake-mode)
 
 ;; (straight-use-package '(promela-mode
 ;;                         :type git
diff --git a/srcfiles/src b/srcfiles/src
index c877b61..b6a3ab6 100644
--- a/srcfiles/src
+++ b/srcfiles/src
@@ -263,6 +263,9 @@ git https://github.com/muesli/obs-cli obs-cli
 git https://github.com/llvm/llvm-project llvm-project
 git https://github.com/llvm/circt circt
 git https://github.com/wsmoses/Polygeist Polygeist
+git https://github.com/diffblue/cbmc cbmc
+git https://git.sr.ht/~motiejus/bazel-zig-cc bazel-zig-cc
+git https://github.com/darlinghq/darling darling
 
 # My own projects
 git git@github.com:ziglibs/lscolors zig-lscolors