A .clang-format

@@ -0,0 +1,1 @@
+BasedOnStyle: GNU

A flake.nix

@@ -0,0 +1,29 @@
+{
+  description = "TinyCrypT Build Environment";
+
+  inputs = {
+    nixpkgs.url = "github:nixos/nixpkgs?ref=nixos-unstable";
+  };
+
+  outputs =
+    {
+      self,
+      nixpkgs,
+      ...
+    }@inputs:
+    let
+      system = "x86_64-linux";
+      pkgs = nixpkgs.legacyPackages.${system};
+      shl = pkgs.mkShell {
+        name = "tct-tooling-env";
+        packages = with pkgs; [
+          cmake
+          gcc
+          clang-tools
+        ];
+      };
+    in
+    {
+      devShells.${system}.default = shl;
+    };
+}