jeanqasaur / against-junior-faculty-stress
☆68Updated 7 years ago
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
- ☆44Updated 4 years ago
- Berkeley DLab Python Intensive May 23-26☆28Updated 8 years ago
- Downloading and displaying academic ancestry☆16Updated 9 years ago
- ☆43Updated 7 years ago
- probabilistic programming for PL folks☆155Updated 3 years ago
- A Python script for "flattening" a nested LaTeX document by pulling in all the \input files☆65Updated last year
- ☆100Updated last year
- Women in Programming Languages and Software Engineering Research☆169Updated 4 months ago
- Deep Probabilistic Programming Language☆19Updated 9 months ago
- Python term rewriting☆29Updated 12 years ago
- Scientific analysis of collaborative communities☆155Updated 2 weeks ago
- A Bayesian latent tree model of high-dimensional heterogeneous data☆23Updated 7 years ago
- AutoMATES: Automated Model Assembly from Text, Equations, and Software☆25Updated last year
- VATA Tree Automata Library☆32Updated 8 months ago
- Latex starters for creating a CMU thesis or thesis proposal☆34Updated 7 years ago
- Stores content in a YAML file and uses Ruby's ERB templating system to handle format and layout.☆35Updated 8 months ago
- An interface to SAT solver tools (like minisat)☆60Updated 2 years ago
- A topology textbook with a hubristic title☆30Updated 9 years ago
- Exact Inference Engine for Probabilistic Programs☆132Updated last month
- A low-level probabilistic programming framework embedded in Terra.☆29Updated 8 years ago
- Matrix tools for building and inspecting latent spaces☆27Updated 6 years ago
- Semantic flow graphs for data science☆28Updated 2 years ago
- Website for personal collection and previewing of Beamer and TikZ snippets. Presented with Python/Jinja2.☆110Updated 9 years ago
- Automatic Discovery of the Statistical Types of Variables in a Dataset☆23Updated 6 years ago
- ☆10Updated 8 years ago
- Benchmark problems for different models of automata, transducers, and related logics☆28Updated 6 months ago
- A Learning Environment for Theorem Proving☆73Updated 2 years ago
- Authorea's collection of LaTeX-based export styles for scholarly writing☆20Updated 8 years ago
- Modification to Coq to record intermediate proof states encountered during a proof☆7Updated 5 years ago
- A formatting class and skeleton for NSF GRFP essays☆8Updated 4 years ago