132 private links
Advanced-Copy is a powerful command line program which is very much similar, but little modified version of original cp command. This modified version of cp command adds a progress bar.
Indico Project Official site - Indico is a powerful event (meetings, conferences, lectures) management system developed at CERN
Welcome This site is a blog dedicated to reviewing and cataloging useful command-line tools. There have been an amazing amount of useful utilities produced in the last few years, so many that it’s difficult to keep abreast of new applications that could potentially improve your workflow. I spend a silly amount of my free time trawling the internet for interesting tools, so I’d like to present the results with you!
Software for solving crossword puzzles in the terminal.
cursewords is a small Python program to open, navigate, and solve puzzles stored as .puz files.
🗃 The open source self-hosted web archive. Takes browser history/bookmarks/Pocket/Pinboard/etc., saves HTML, JS, PDFs, media, and more... - pirate/ArchiveBox
Project Everest is a large, collaborative research effort that aims to verify and deploy a new, secure HTTPS stack. All of our code is verified using the F programming language. Using KreMLin, a dedicated compiler, the verified F code is compiled to readable C, meaning existing systems projects can readily integrate our verified code. Going to C is what allows people to use our code without having to buy into exotic, strange languages with lambdas.
GuiLite + Creative = ❤️UI. Contribute to idea4good/GuiLiteSamples development by creating an account on GitHub.
Jupyter metapackage for installation, docs and chat - jupyter/jupyter
One time I had a “great” idea for a telephone company. Service would be free—all the calls you want! But you’d have to listen to advertisements before each one. I asked my friend what he thought the idea was worth. His answer: “I don’t know. Telephone companies make a lot of money. Maybe $1 billion?” …
The list of the best machine learning & deep learning books for 2019.
Python library for building highly effective data science workflows - d6t/d6tflow
Over the years I learned a lot about git. Most of the parts I learned the hard way by using it on a regular basis. Here I summarize a lot of the things which I would consider Git Best Practices for using git in a team. Use the force Luke – use the CLI.
Delta Chat is like Telegram or Whatsapp but without the tracking or central control. Check out our GDPR compliancy statement.
Delta Chat doesn’t have their own servers but uses the most massive and diverse open messaging system ever: the existing e-mail server network.
Chat with anyone if you know their e-mail address, no need for them to install DeltaChat! All you need is a standard e-mail account.