Naev has moved to codeberg! This is just a mirror.

The Hitchhiker's Guide to the Galaxy, by Steve Meretzky and Douglas Adams (Infocom)

A privacy-aware, distributed, open source social network.

A refreshingly simple static site generator, for those who like to work in HTML.

IdeaVim – A Vim engine for JetBrains IDEs

Anki is a smart spaced repetition flashcard program

Computer Networks: A Systems Approach -- Textbook

Jupyter Interactive Notebook

The Python programming language

[DEPRECATED] Git mirror of the 0 A.D. SVN source code (migrated to https://gitea.wildfiregames.com on August 20th 2024)

Virtual Advanced Squad Leader

Ansible is a radically simple IT automation platform that makes your applications and systems easier to deploy and maintain. Automate everything from code deployment to network configuration to clo…

A comprehensive, feature-rich, open source, and portable, collection of Solitaire games.

Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

120+ interactive Python coding interview challenges (algorithms and data structures). Includes Anki flashcards.

The official Vim repository

The Big List of Naughty Strings is a list of strings which have a high probability of causing issues when used as user-input data.

Command the forces of The Project in a battle to rebuild the world after mankind has been nearly destroyed by nuclear missiles. A 100% free and open source real-time strategy game for Windows, macO…

An open source, turn-based strategy game with a high fantasy theme.

Python Koans - Learn Python through TDD

A framework and lessons to learn java syntax and idioms in a logical sequence.