This repository contains the Haskell source code for the Devin software, which is discussed in my thesis. It also includes the LaTeX source of the thesis itself.
Precompiled Devin executables can be found in the latest release.
To run Devin, GtkSourceView 3 and its dependencies need to be installed on your system.
-
On Debian derivatives, you can install them with:
sudo apt install libgtksourceview-3.0-1
Before launching Devin, ensure you have granted execution permissions:
chmod +x devin-x86_64-linux
-
On macOS, you can install them with Homebrew:
brew install gtksourceview3
Before launching Devin, ensure you have granted execution permissions:
chmod +x devin-aarch64-osx
-
On Windows, you can install them with MSYS2.
If you don’t have MSYS2 already installed, run:
winget install --id MSYS2.MSYS2 --interactive
In a MSYS2 shell, execute the following command:
pacman -S mingw-w64-x86_64-gtksourceview3
You may launch Devin from MSYS2 using:
./devin-x86_64-windows.exe