WuTheFWasThat / dotfiles

Related projects ⓘ

Alternatives and complementary repositories for dotfiles

• WuTheFWasThat / EigenSeeClearlyNow
  Linear algebra visualizations
  ☆12Updated 3 years ago
• asmeurer / catimg
  Print an image of a cat to the iTerm2 terminal
  ☆15Updated 7 years ago
• abe-winter / arbout
  database & aggregate search engine for arbitration outcomes
  ☆17Updated 4 years ago
• chrisparnin / automark
  auto-generate blog post from coding history
  ☆20Updated 10 years ago
• WuTheFWasThat / PyChurch
  A probabilistic programming language, based on Church
  ☆17Updated 7 years ago
• Yelp / pysensu-yelp
  A Python library to emit Sensu events that the Yelp Sensu Handlers can understand for Self-Service Sensu Monitoring
  ☆14Updated last year
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆23Updated 4 years ago
• pypa / integration-test
  ensure core packaging tools work well with each other
  ☆18Updated 5 years ago
• cyclelabscloud / cycle-cloud
  Repository to allow collaboration between Cycle Labs Cloud community in support of the community.
  ☆9Updated 2 years ago
• jsomers / j-jeopardy
  A playable version of the j-archive
  ☆24Updated 5 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
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• naproche / naproche
  Write formal proofs in natural language and LaTeX.
  ☆32Updated 2 weeks ago
• ricsonc / transformers-play-chess
  a writeup on some experiments on a sequence model for chess games
  ☆28Updated 3 years ago
• rockymadden / github-crypt
  Send encrypted messages to GitHubers via their SSH public key
  ☆15Updated 6 years ago
• standardebooks / anton-chekhov_short-fiction_constance-garnett
  Epub source for the Standard Ebooks edition of Short Fiction, by Anton Chekhov. Translated by Constance Garnett
  ☆11Updated this week
• tim-group / stackbuilder
  Stackbuilder builds stacks of virtual machines
  ☆21Updated 2 weeks ago
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆129Updated 10 years ago
• leanprover / super
  Superposition prover
  ☆16Updated last year
• jirilebl / scv
  Tasty Bits of Several Complex Variables, graduate textbook
  ☆14Updated 2 weeks ago
• tiimgreen / tabbit
  Write tables in the command line.
  ☆17Updated 10 years ago
• isle-project / isle-editor
  Editor for ISLE (Integrated Statistics Learning Environment) lessons.
  ☆16Updated 11 months ago
• rcarmo / soup-strainer
  A reimplementation of the Readability/Decruft algorithm using BeautifulSoup and html5lib
  ☆34Updated 10 years ago
• MiniZinc / minizinc-doc
  MiniZinc documentation
  ☆16Updated last year
• dhilipsiva / best-practices
  A collection of best practices that we have learnt so far
  ☆12Updated 10 years ago
• JUrban / deepmath
  deep learning for math
  ☆29Updated 5 years ago
• kmandla / fttps
  A console-based download daemon with queuing system.
  ☆8Updated 10 years ago
• distillpub / post--research-debt
  Research Debt
  ☆25Updated 6 years ago
• learnbyexample / tpyo_revealo
  assistant for hunting down tpyos
  ☆13Updated 6 years ago