jeanqasaur / against-junior-faculty-stressLinks
☆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
Sorting:
- ☆44Updated 4 years ago
- ☆102Updated last year
- The Design and Implementation of Probabilistic Programming Languages☆178Updated last year
- https://code.google.com/p/graph-theory-algorithms-book/☆20Updated 9 years ago
- Latex starters for creating a CMU thesis or thesis proposal☆35Updated 8 years ago
- Automatic Discovery of the Statistical Types of Variables in a Dataset☆23Updated 7 years ago
- Python term rewriting☆29Updated 12 years ago
- Exact Inference Engine for Probabilistic Programs☆132Updated 2 months ago
- VATA Tree Automata Library☆32Updated 9 months ago
- Modification to Coq to record intermediate proof states encountered during a proof☆8Updated 6 years ago
- Learning Algebraic Varieties from Samples☆24Updated last year
- Downloading and displaying academic ancestry☆16Updated 9 years ago
- ☆43Updated 7 years ago
- Berkeley DLab Python Intensive May 23-26☆28Updated 9 years ago
- Coq formalization accompanying the paper: Micro-Policies: A Framework for Verified, Tag-Based Security Monitors☆20Updated 5 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated 11 months ago
- probabilistic programming for PL folks☆156Updated 3 years ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆49Updated 3 years ago
- A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…☆10Updated 9 years ago
- SIGPLAN website☆11Updated this week
- pelican-bibtex: Manage your academic publications page with Pelican and BibTeX☆52Updated 2 years ago
- Women in Programming Languages and Software Engineering Research☆172Updated 6 months ago
- Definition files providing colours as defined by the ColorBrewer project.☆34Updated 8 years ago
- Style checker for latex documents☆50Updated last year
- AutoMATES: Automated Model Assembly from Text, Equations, and Software☆25Updated last year
- BiBLaTeX style for Springer Lecture Notes in Computer Science☆21Updated 5 years ago
- Specify and synthesize systems using symbolic algorithms☆49Updated 7 months ago
- Lattice-based integer linear programming solver☆65Updated 3 years ago
- A tiny python2.7 script which converts LaTex projects into arxiv-format. Suggestions are welcome.☆10Updated 9 years ago
- Duet: A Language for Differential Privacy☆16Updated 2 years ago