Code Monkey home page Code Monkey logo

dotfiles's Introduction

Apps
dotbot
★⁠ ⁠6.9k		 Python A tool that bootstraps your dotfiles ⚡️
git⁠-⁠remote⁠-⁠dropbox
★⁠ ⁠3.0k		 Python A transparent bridge between Git and Dropbox - use a Dropbox (shared) folder as a Git remote! 🎁
periscope
★⁠ ⁠372		 Go Periscope gives you "duplicate vision" to help you organize and de-duplicate your files without losing data 🔭
lumen
★⁠ ⁠2.3k		 Objective-C Magic auto brightness based on screen contents 💡
seashells
★⁠ ⁠706		 Python The official client for seashells.io 🐚
seashells⁠-⁠server
★⁠ ⁠52		 Go The seashells.io server 🐚
gavel
★⁠ ⁠430		 Python A project expo judging system 📊
offix
★⁠ ⁠181		 JavaScript "Who is in the office?" 👀

Machine Learning
neural⁠-⁠style
★⁠ ⁠5.5k		 Python Neural style in TensorFlow! 🎨
obfuscated⁠-⁠gradients
★⁠ ⁠874		 Jupyter Notebook Obfuscated Gradients Give a False Sense of Security: Circumventing Defenses to Adversarial Examples
neural⁠-⁠hash⁠-⁠collider
★⁠ ⁠661		 Python Preimage attack against NeuralHash 💣
ribosome
★⁠ ⁠140		 Python Synthesize photos from PhotoDNA using machine learning 🌱
imagenet⁠-⁠simple⁠-⁠labels
★⁠ ⁠117		 Simpler human-readable labels for ImageNet 🏷
cleanlab⁠/⁠cleanlab
★⁠ ⁠8.9k		 Python The standard data-centric AI package for data quality and machine learning with messy, real-world data and labels.

Libraries
porcupine
★⁠ ⁠855		 Go A fast linearizability checker written in Go 🔎
synox
★⁠ ⁠24		 Rust Rust library for program synthesis of string transformations from input-output examples 🔮

Design
gemini
★⁠ ⁠942		 TeX Gemini is a modern LaTex beamerposter theme 🖼
auriga
★⁠ ⁠321		 TeX Auriga is a minimalist LaTeX beamer presentation theme 📽

Formal Verification
knox
★⁠ ⁠29		 Racket A framework for formally verifying hardware security modules to be free of hardware, software, and timing side-channel vulnerabilities 🔏
knox⁠-⁠hsm
★⁠ ⁠22		 Verilog Circuits and hardware security modules formally verified with Knox 🔐
chroniton
★⁠ ⁠8		 Racket A tool for formally verifying constant-time software against hardware 🕰️
rtlv
★⁠ ⁠18		 Racket Tools for reasoning about circuits in Rosette/Racket 🔌
notary
★⁠ ⁠28		 Verilog Notary: A Device for Secure Transaction Approval 📟

Misc
missing⁠-⁠semester⁠/⁠missing⁠-⁠semester
★⁠ ⁠4.8k		 CSS The Missing Semester of Your CS Education 📚
missing⁠-⁠semester⁠/⁠videos
★⁠ ⁠293		 Python Lecture video processing scripts 🎥
dcai⁠-⁠course⁠/⁠dcai⁠-⁠course
★⁠ ⁠90		 CSS Introduction to Data-Centric AI, MIT IAP 2023 🤖
dcai⁠-⁠course⁠/⁠dcai⁠-⁠lab
★⁠ ⁠406		 Jupyter Notebook Lab assignments for Introduction to Data-Centric AI, MIT IAP 2024 👩🏽‍💻
bijection⁠/⁠sistine
★⁠ ⁠3.2k		 Python Turn a MacBook into a Touchscreen with $1 of Hardware
dotfiles
★⁠ ⁠687		 Shell ~anish • powered by https://github.com/anishathalye/dotbot 💾
dotfiles⁠-⁠local
★⁠ ⁠73		 Shell ~anish [local config] • powered by https://github.com/anishathalye/dotbot 🏠
proof⁠-⁠html
★⁠ ⁠53		 Ruby A GitHub Action to validate HTML, check links, and more ✅
micro⁠-⁠wwvb
★⁠ ⁠17		 C A tiny WWVB station 📡
hubot⁠-⁠group
★⁠ ⁠26		 CoffeeScript A hubot script that expands mentions of groups 👫
hubot⁠-⁠shortcut
★⁠ ⁠16		 JavaScript A macro system for hubot 💨
hubot⁠-⁠conf
★⁠ ⁠11		 JavaScript A simple configuration management system for hubot 🔧
bin2coe
★⁠ ⁠14		 Python A tool to convert binary files to COE files 💫
countdown
★⁠ ⁠5		 HTML A simple countdown timer you can set as your homepage ⏰
unblock
★⁠ ⁠7		 Go A tiny utility to make shell pipes behave as if they have unlimited buffering ♾
assets
★⁠ ⁠4		 README assets for my GitHub projects 🎭

dotfiles's People

Contributors

anishathalye avatar

Stargazers

avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar

Watchers

avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar

Forkers

idreyn spefley tiffanyachen marekkaczkowski fawaf antimatter15 caseybecking util andreiarion noscripter amien8 choman programmer-util hirokisan lewisjared tharikishore meahow joegnis silentsoundz akhilrajmailbox connectthefuture mob5566 rodoviario zhoudaqing lsy563193 ganx99 wechain trulyxforsaken enekofb wenjie-lu benchen0812 tcapelle freef beosro h3lio5 tleplaearthur heisenbug3 0bart0 trinicoder lxbrllnt sameerbr24 muik somyadashora mathsn zixin96 rvdixit23 avinash987 abrahamyonas vegavk salman9193 m-happy dqzgkyh deyxie zhang-de-re smanelli clemens33 shurikai bishal-bit adelerhof joshfeldman95 asefshahriar hastinarimanzadeh zsmx stern-hcg xiaogh98 tian3rd gftao deeprajpandey nagariahussain sonofhypnos yuyanzy jknuf leizhang88 prajinkhadka catkamakura printerfranklin ausecwa ishmurik ravenxrz ziad-abdelshafi daeyounglim rumi-salazar gomex derplak mlamarin vasandr13 fb1n15 llz77 gabbrousset lixirui142 tannnen jcdubron hadieo qinjiaqi fieldxy xjx79 leafinwind jasonj2021 matt2ology fallinus

dotfiles's Issues

Installation of plugins via ./install

I was going through your dotfiles for some inspiration on how to use dotbot. One thing I have been wondering is how to automatically install certain plugins or at the very least plugin managers. How do you manage this?

For example, through your .gitmodules file, I can see that you use pathogen (?) or something similar to keep your plugins updated (I use vim-plug). Could you explain a bit about these dotfiles help you install plugins on a new machine?

For example, in your .gitmodules, you have this:

[submodule "vim/bundle/vim-markdown"]
	path = vim/pack/vendor/start/vim-markdown
	url = https://github.com/tpope/vim-markdown
	ignore = untracked

and have some shell commands in your .install.conf.yaml that supposedly facilitate plugin installation

I modified my ~/.dotfiles/.gitmodules to:

[submodule "dotbot"]
	path = dotbot
	url = https://github.com/anishathalye/dotbot
    ignore = dirty

[submodule "vim/test/vim-markdown"]
	path = vim/test/vim-markdown
	url = https://github.com/tpope/vim-markdown
	ignore = untracked

and manually ran:

git submodule sync --recursive && git submodule update --init --recursive # unaliased git update-submodules

but this was the only output:

Synchronizing submodule url for 'dotbot'
Synchronizing submodule url for 'dotbot/lib/pyyaml'

Nothing showed up in vim/test/ either. Could you explain in further detail what way in which you are installing plugins? Right now I am making do my installing plugin managers manually, but I'm not sure if there is a better approach with dotbot.

Regex or format string syntax for linking multiple files?

Hi.

In my dotfiles, I have a large number of files that need to live in the home folder, all of which have names which are of the form .<something>. For organizational purposes, I would like to have all such files in a sub folder of my dotfiles repo, called home, and have them stripped of the leading . character. Like this:

dotfiles
|--other stuff
|
|--home
   |--vimrc
   |--zshrc
   |--etc

I want to be able to write a rule in my install.conf.yaml that takes anything located in the dotfiles/home directory and links it to "$HOME/." + <file-name>.

I hope that explanation made sense. I tried to find a way to do this and was unsuccessful. Please let me know if this is currently possible. Love this tool! Thanks.

Docker - segmentation fault

I was testing these dotfiles in a docker container before I install it on my computer. It gives me a segmentation fault as soon as I start zsh.

Here's what I did:
docker run -it ubuntu:latest /bin/bash
Inside the docker container
sudo apt-get install git python vim zsh
I cloned your repo, ran the ./install script and tried executing /bin/zsh.
Immediately gives a segmentation fault.

Also the ./install script couldn't finish, I got:

Command [git update-submodules] failed
Some commands were not successfully executed

Command [git update-submodules] failed

After git clone and run install, I ran into the error message:

git submodule sync --recursive
git update-submodules
Command [git update-submodules] failed
git cleanall -f emacs.d/vendor/ irssi/scripts/vendor/ jupyter/nbextensions/ shell/plugins/ vim/bundle/ zsh/plugins/

I'm running this on a freshly installed mac.

What did you remap `C-h` prefix to?

I see that you have:

  (define-key evil-normal-state-map (kbd "C-k") 'evil-window-up)
  (define-key evil-normal-state-map (kbd "C-j") 'evil-window-down)
  (define-key evil-normal-state-map (kbd "C-h") 'evil-window-left)
  (define-key evil-normal-state-map (kbd "C-l") 'evil-window-right)

The rest are pretty redundant with Evil, but C-h should still be useful. How do you access things like Info ? C-z C-h i would work, but usually you don't want to leave Evil mode right? Is there a clever workaround you have devised? Just wondering since I couldn't find any such remap in your packages.el

.git/tags;~ doesn't work

Hi
I install vim-fugitive and set the tags file in the .git folder, just like your .vimrc file

" fugitive
set tags^=.git/tags;~

But after opening the file with vim, I use ctrl+] and can’t jump to function definition, the following is the error message

E433: No tags file
E426: tag not found: policy

Then I found that the vim-fugitive plugin seems to have removed the support for .git/tags

So I want to ask if set tags^=.git/tags;~ in .vimrc is invalid, or if I misunderstood something

Finally, thank you for the Missing-Semester course, it has benefited me a lot.

Help with installation

I cloned it an ran ./install and I get the following error:

% ./install
All targets have been cleaned
Link exists ~/.dotfiles -> /Users/dipamvasani/dotfiles/
Link exists ~/.bash -> /Users/dipamvasani/dotfiles/bash
Link exists ~/.gnupg/gpg.conf -> /Users/dipamvasani/dotfiles/gpg.conf
Link exists ~/.ipython/profile_default/ipython_config.py -> /Users/dipamvasani/dotfiles/ipython/ipython_config.py
~/.gitconfig already exists but is a regular file or directory
Link exists ~/.local/share/jupyter/nbextensions -> /Users/dipamvasani/dotfiles/jupyter/nbextensions
Link exists ~/.ipython/profile_default/ipython_kernel_config.py -> /Users/dipamvasani/dotfiles/ipython/ipython_kernel_config.py
Link exists ~/.aria2/aria2.conf -> /Users/dipamvasani/dotfiles/aria2.conf
Link exists ~/.irssi -> /Users/dipamvasani/dotfiles/irssi
Link exists ~/.hgrc -> /Users/dipamvasani/dotfiles/hgrc
Link exists ~/.shell -> /Users/dipamvasani/dotfiles/shell
~/.zsh already exists but is a regular file or directory
~/.vim already exists but is a regular file or directory
Link exists ~/.emacs.d -> /Users/dipamvasani/dotfiles/emacs.d
Link exists ~/.pythonrc -> /Users/dipamvasani/dotfiles/pythonrc
Link exists ~/.rtorrent.rc -> /Users/dipamvasani/dotfiles/rtorrent.rc
Link exists ~/.screenrc -> /Users/dipamvasani/dotfiles/screenrc
Link exists ~/.inputrc -> /Users/dipamvasani/dotfiles/inputrc
~/.vimrc already exists but is a regular file or directory
Link exists ~/.agignore -> /Users/dipamvasani/dotfiles/agignore
Link exists ~/.jupyter/jupyter_notebook_config.py -> /Users/dipamvasani/dotfiles/jupyter/jupyter_notebook_config.py
Link exists ~/.zshrc -> /Users/dipamvasani/dotfiles/zshrc
Link exists ~/.tmux.conf -> /Users/dipamvasani/dotfiles/tmux.conf
Link exists ~/.ipython/profile_default/startup/disable_warnings.py -> /Users/dipamvasani/dotfiles/ipython/disable_warnings.py
~/.jupyter/nbconfig/notebook.json already exists but is a regular file or directory
Link exists ~/.emacs -> /Users/dipamvasani/dotfiles/emacs
Link exists ~/.gitignore_global -> /Users/dipamvasani/dotfiles/gitignore_global
Link exists ~/.axelrc -> /Users/dipamvasani/dotfiles/axelrc
Link exists ~/.haskeline -> /Users/dipamvasani/dotfiles/haskeline
~/.bash_profile already exists but is a regular file or directory
~/.bashrc already exists but is a regular file or directory
Some links were not successfully set up
Path exists /Users/dipamvasani/.rtorrent/session
Path exists /Users/dipamvasani/.rtorrent/watch
Path exists /Users/dipamvasani/.rtorrent/downloads
All paths have been set up
git submodule sync --recursive
git update-submodules
Command [git update-submodules] failed
git cleanall -f emacs.d/vendor/ irssi/scripts/vendor/ jupyter/nbextensions/ shell/plugins/ vim/pack/vendor/start/ zsh/plugins/

Command [git cleanall -f emacs.d/vendor/ irssi/scripts/vendor/ jupyter/nbextensions/ shell/plugins/ vim/pack/vendor/start/ zsh/plugins/
] failed
Some commands were not successfully executed

==> Some tasks were not executed successfully

How do I solve it and how do I setup zsh, oh-my-zsh and all the plugins that you are using? I am new to all this so forgive the simple doubt

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.