Smaug123 db1d15fdf2 Enough to build Lean

2021-12-05 15:22:43 +00:00

gmp

Fix up gmp properly

2021-11-28 11:58:39 +00:00

rider

Basic aarch setup

2021-11-16 19:02:29 +00:00

.gitignore

Install Molokai again

2021-10-27 20:34:03 +01:00

bootstrap.sh

VSCodium

2021-10-16 09:36:21 +01:00

darwin-configuration.nix

Fix up gmp properly

2021-11-28 11:58:39 +00:00

home.nix

Enough to build Lean

2021-12-05 15:22:43 +00:00

ideavimrc

Add ideavimrc

2021-09-12 23:00:09 +01:00

init.vim

Initial

2021-07-08 23:42:43 +01:00

LICENCE.md

Reproduce the MIT licence for the NeoVim config

2021-07-04 22:50:11 +01:00

python.nix

Add Lean again

2021-11-02 21:02:56 +00:00

ssh.config

Basic aarch setup

2021-11-16 19:02:29 +00:00

vscode-extensions.nix

Link to Docker in vscode docker extension

2021-10-31 14:37:25 +00:00

youtube-dl.conf

Add youtube-dl config

2021-07-09 19:19:16 +01:00

Description

Dotfiles for my Nix setup

1.6 MiB

Languages

Lua 42.4%

Nix 33.9%

Python 17.5%

F# 4.3%

Shell 1.9%