Alternatives and similar repositories for dotfiles:

Users that are interested in dotfiles are comparing it to the libraries listed below

• WuTheFWasThat / EigenSeeClearlyNow
  Linear algebra visualizations
  ☆12Updated 3 years ago
• IMO-grand-challenge / IMO-grand-challenge.github.io
  IMO Grand Challenge for Artificial Intelligence
  ☆44Updated 3 years ago
• pypa / integration-test
  ensure core packaging tools work well with each other
  ☆19Updated 6 years ago
• anishathalye / unblock
  A tiny utility to make shell pipes behave as if they have unlimited buffering ♾
  ☆9Updated 2 months ago
• ricsonc / transformers-play-chess
  a writeup on some experiments on a sequence model for chess games
  ☆30Updated 3 years ago
• METR / task-template
  ☆9Updated 7 months ago
• ImperialCollegeLondon / Example-Lean-Projects
  Some examples of Lean projects, for undergraduate mathematicians.
  ☆22Updated 3 years ago
• oughtinc / patchwork
  Command-line recursive question-answering with immutable contexts and explicit data store
  ☆25Updated 6 years ago
• EleutherAI / pyfra
  Python Research Framework
  ☆106Updated 2 years ago
• simonv3 / factbook-country-data
  ☆20Updated 9 years ago
• victoriastuart / arxiv-sh
  Daily query for new arXiv articles in select topics via RSS
  ☆39Updated last year
• vluzko / manifoldpy
  Python tools for working with Manifold Markets
  ☆34Updated 5 months ago
• lenskit / seedbank
  Manage seeds across multiple Python RNGs.
  ☆13Updated 5 months ago
• vim-scripts / SpellCheck
  Work with spelling errors.
  ☆13Updated 10 years ago
• paulfchristiano / amplification
  ☆9Updated 5 years ago
• distillpub / post--research-debt
  Research Debt
  ☆25Updated 6 years ago
• haystack / eyebrowse-server
  Eyebrowser Server
  ☆29Updated 6 years ago
• openai / ai-and-efficiency
  Submissions for AI and Efficiency SOTA's
  ☆56Updated 4 years ago
• TomFrederik / unseal
  Mechanistic Interpretability for Transformer Models
  ☆50Updated 2 years ago
• google-deepmind / cartesian-frames
  A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.
  ☆19Updated 3 years ago
• apple / ml-np-rasp
  ☆19Updated last year
• contains-io / rcli
  Rapidly create full-featured command line interfaces with help, subcommand dispatch, and validation.
  ☆13Updated 4 years ago
• GallagherCommaJack / modulax
  ☆17Updated 7 months ago
• pd / httpie-api-auth
  HTTPie support for the ApiAuth authentication scheme
  ☆20Updated 2 years ago
• readthedocs / pydoc.io
  A browser for Python project documentation
  ☆25Updated 2 years ago
• openai / miniF2F
  Formal to Formal Mathematics Benchmark
  ☆342Updated last year
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆25Updated 4 years ago
• qqrs / qqqr
  QR code music player
  ☆19Updated 2 years ago
• ericchiang / containers-from-scratch
  ☆12Updated 8 years ago
• redwoodresearch / mlab
  Machine Learning for Alignment Bootcamp
  ☆72Updated 2 years ago