Alternatives and similar repositories for against-junior-faculty-stress:

Users that are interested in against-junior-faculty-stress are comparing it to the libraries listed below

• teddyroland / Text-Analysis-for-Humanities-Research
  Berkeley DLab Python Intensive May 23-26
  ☆27Updated 8 years ago
• backtracking / bibtex2html
  ☆99Updated last year
• iyzhang / superhero-network
  An unaffiliated group of visible, early career CS women researchers dedicated to fighting harassment in all forms in academia.
  ☆105Updated 6 months ago
• ml4tp / tcoq
  Modification to Coq to record intermediate proof states encountered during a proof
  ☆7Updated 5 years ago
• cyrus- / thesis
  My PhD thesis, titled "Reasonably Programmable Syntax"
  ☆15Updated 6 years ago
• 51alg / TerpreT
  ☆42Updated 7 years ago
• probmods / dippl
  The Design and Implementation of Probabilistic Programming Languages
  ☆176Updated 9 months ago
• nsf-open / nsf-proposal-latex-samples
  LaTeX samples for NSF Research.gov Proposal Submission. For more information about Research.gov Proposal Submission visit https://www.re…
  ☆235Updated last year
• shriram / repro-in-cs
  Tracking Responses to the "Reproducibility in Computer Science" Repository (http://reproducibility.cs.arizona.edu/)
  ☆58Updated 10 years ago
• mimno / PyMallet
  Python tools for text
  ☆15Updated 4 years ago
• jeanqasaur / cmu-15316-spring17
  Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.
  ☆22Updated 7 years ago
• nspring / style-check
  Style checker for latex documents
  ☆51Updated last year
• tzwenn / MathGenealogy
  Downloading and displaying academic ancestry
  ☆16Updated 9 years ago
• GaloisInc / blt
  Lattice-based integer linear programming solver
  ☆65Updated 3 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 12 years ago
• SIGPLAN / SIGPLAN.github.io
  SIGPLAN website
  ☆10Updated 3 weeks ago
• johnjosephhorton / flatex
  A Python script for "flattening" a nested LaTeX document by pulling in all the \input files
  ☆63Updated 9 months ago
• Authorea / texstyles
  Authorea's collection of LaTeX-based export styles for scholarly writing
  ☆20Updated 8 years ago
• probcomp / cgpm
  Library of composable generative population models which serve as the modeling and inference backend of BayesDB.
  ☆25Updated 7 months ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆33Updated 6 years ago
• bgamari / bayes-stack
  Framework for Gibbs sampling of probabilistic models
  ☆49Updated 9 years ago
• rawlins / lambda-notebook
  Lambda Notebook: Formal Semantics in Jupyter
  ☆27Updated last week
• tchajed / coq-tactical
  Library of Coq proof automation
  ☆16Updated 3 years ago
• micro-policies / micro-policies-coq
  Coq formalization accompanying the paper: Micro-Policies: A Framework for Verified, Tag-Based Security Monitors
  ☆20Updated 5 years ago
• tlringer / ml-for-proofs
  An open bibliography of machine learning for formal proof papers
  ☆32Updated last year
• dreal / dreal3
  There is a new version of dReal, available at https://github.com/dreal/dreal4
  ☆49Updated 3 years ago
• rems-project / reviewing-good-and-bad-reasons
  ☆12Updated 3 years ago
• slebok / bibsleigh
  The extensive approach to SLE bibliography
  ☆29Updated 4 years ago
• jeanqasaur / women-in-programming-languages-research
  Women in Programming Languages and Software Engineering Research
  ☆169Updated 2 months ago
• DavidMichaelRoberts / AlgebraicTopology2019
  Course notes for Pure Mathematics Topic D 2019
  ☆52Updated 4 years ago