Ссылки

Ученые Computer Science

Математическая логика и теория алгоритмов

• Метаматематика
  
  • The hydra game
  • Falcao: аксиомы арифметики
• Комбинаторная логика
  
  • Не-фон неймановский компьютер на базе комбинаторной логики
• Клеточные автоматы
  
  • Немного о клеточных автоматах
  • Игра Жизнь (википедия)
  • Игра «Жизнь» и моделирование естественного отбора

Фракталы

Физика

Организации

Языки

• С
  
  • Краткое введение
  • Курс Константина Полякова
  • Краткая история языка С
  • Белая книга. Изд-е 3. (Перевод)
• С++
  
  • «Жизнь» Джона Конвея на Qt
• Python
  
  • PyCharm - среда разработки
  • Викиучебник
• OCaml
  
  • The Caml language: Home
  • OCaml::Home
  • Википедия: OCaml
  • Try OCaml (online REPL!)
  • Real World Ocaml Book
  • OCamlCore
  • Документация на русском языке
  • COCAN - The OCaml Alliance Network
• Common Lisp
  
  • CLiki
  • Лекции по языку Common Lisp
  • The Common Lisp Cookbook
  • QuickLisp - средство для начальной работы с богатым набором библиотек CL
• Java
  
  • Introduction to Programming in Java
  • Real-World Data Sets
  • Java. Экспресс-курс
  • Software Development & Entrepreneurship Tutorials
  • Java Code Geeks
  • Java Tutorial
  • AVAJAVA Web Tutorials
  • Generators with Java 8
  • Java programs
  • Ian Darwin's Java Cookbook: Source Files: By Chapter
  • How to determine a prime number in Java
  • Теоретические материалы и задачи по Java
  • Cybern.ru Уроки для начинающих
  • Технологии Java
  • Беззнаковая арифметика в Java
  • Работа с Java в командной строке
  • How to Write Doc Comments for the Javadoc Tool
  • Java комментарии - Javadoc

Online REPL

Статистика и исследования по языкам программирования и проектам

Системы контроля версий

• Git
  
  • Здесь живёт Git
  • Учебник по Git
  • Курс обучения Git-у
  • Книга "Волшебство Git"
  • Используем git для контроля версий
  • Кратко о Git
  • Try Git
  • Git Beginner's Guide for Dummies | Backlog
• Subversion
  
  • Управление версиями в Subversion
• Mercurial
  
  • Mercurial: полное руководство
• GUI Клиенты для работы с Git
  
  • GitHub (windows+macos)
  • SourceTree (windows+macos)
  • TortoiseGit (windows)

Бесплатный хостинг с системами контроля версий

• Git
  
  • BitBucket
  • GitHub
• Redmine
  
  • https://www.hostedredmine.com

Курсы программирования

Управление проектами и bugtracking

• Redmine
  
  • Redmine
  • Статья Википедии
  • Жизненный цикл задач
• Youtrack
  
  • Youtrack home
  • Опыт использования
• TaskJuggler
  
  • TJ Home
  • Неплохое введение
• Trello
  
  • Web-приложение для управления проектами
  • Построение диаграмм Ганта для Trello и Google Cal

Подготовка документов и разметка

• LaTeX
  
  • Набор шаблонов для резюме
  • Определение новых блоков в LaTeX beamer
  • Тема Solarized для beamer
  • Создание сложных стилей для LaTeX
  • Шаблон для диссертации
  • Пример со шрифтом Klavika (фр.)
  • Online- редактор уравнений LaTeX
  • ShareLaTeX
• Shpinx
  
  • Отличная тема Shpinx RTD
• Pandoc
  
  • Универсальный конвертор форматов PanDoc

Данные

Полезные утилиты

Статические генераторы сайтов

Красивые темы для emacs/vim/css