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
• tiimgreen / tabbit
  Write tables in the command line.
  ☆17Updated 11 years ago
• IMO-grand-challenge / IMO-grand-challenge.github.io
  IMO Grand Challenge for Artificial Intelligence
  ☆46Updated 3 years ago
• Findus23 / se-simulator
  Generating fun Stack Exchange questions using Markov chains
  ☆25Updated last year
• abe-winter / arbout
  database & aggregate search engine for arbitration outcomes
  ☆17Updated 5 years ago
• oughtinc / mosaic
  A web app for recursive question-answering with pointers
  ☆39Updated 2 years ago
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆129Updated 11 years ago
• JUrban / deepmath
  deep learning for math
  ☆30Updated 6 years ago
• facebook / fbghc
  Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feat…
  ☆16Updated 2 years ago
• opencog / language-learning
  OpenCog Unsupervised Language Learning
  ☆20Updated 5 years ago
• jules-hedges / awesome-applied-category-theory
  ACT community resources
  ☆21Updated 5 years ago
• leanprover / super
  Superposition prover
  ☆17Updated 2 years ago
• FiloSottile / HNTitles
  Tweet probabilistically generated HN post titles.
  ☆29Updated 2 years ago
• ImperialCollegeLondon / Example-Lean-Projects
  Some examples of Lean projects, for undergraduate mathematicians.
  ☆23Updated 4 years ago
• vluzko / manifoldpy
  Python tools for working with Manifold Markets
  ☆35Updated this week
• vim-scripts / SpellCheck
  Work with spelling errors.
  ☆13Updated 10 years ago
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆25Updated 5 years ago
• andychu / webpipe
  Bridge the terminal and browser
  ☆18Updated last year
• opencog / ocpkg
  Installing, packaging, deploying and managing OpenCog
  ☆21Updated 2 weeks ago
• dhilipsiva / best-practices
  A collection of best practices that we have learnt so far
  ☆12Updated 11 years ago
• apartresearch / deepdecipher
  🦠 DeepDecipher: An open source API to MLP neurons
  ☆9Updated last year
• aheui / jsaheui
  Aheui interpreter in Javascript
  ☆23Updated 8 years ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• qqrs / qqqr
  QR code music player
  ☆19Updated 2 years ago
• zhangir-azerbayev / repl
  A simple REPL for Lean 4, returning information about errors and sorries.
  ☆11Updated 2 years ago
• BartoszMilewski / Parsing
  Using parsec
  ☆9Updated 5 years ago
• strafe / playlist-dl
  📹 Download YouTube playlists for safekeeping
  ☆12Updated 6 years ago
• colindean / hejmo
  My home directory and package management stuff, inelegant as it may be
  ☆18Updated last week
• OpenTechSchool / underground
  Super secret underground organisation for global awesomeness.
  ☆12Updated 4 years ago
• simonv3 / factbook-country-data
  ☆20Updated 9 years ago