jeanqasaur / against-junior-faculty-stress
☆67Updated 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
- ☆43Updated 7 years ago
- Downloading and displaying academic ancestry☆16Updated 9 years ago
- ☆99Updated last year
- Berkeley DLab Python Intensive May 23-26☆28Updated 8 years ago
- Deep Probabilistic Programming Language☆19Updated 7 months ago
- Python term rewriting☆29Updated 12 years ago
- Specify and synthesize systems using symbolic algorithms☆45Updated 4 months ago
- ☆20Updated 4 months ago
- VATA Tree Automata Library☆32Updated 7 months ago
- Stores content in a YAML file and uses Ruby's ERB templating system to handle format and layout.☆35Updated 7 months ago
- A simple Python Binary Decision Diagram (BDD) that outputs .dot files. It can also create minimal BDDs. Should be used mostly for educati…☆14Updated 11 years ago
- The Design and Implementation of Probabilistic Programming Languages☆176Updated 10 months ago
- ☆15Updated 6 years ago
- Probabilistic logic language for inference, planning and learning in static and dynamic domains☆15Updated 8 years ago
- Repo for the Journal of Systems Research (JSYS)☆11Updated 5 years ago
- Modification to Coq to record intermediate proof states encountered during a proof☆7Updated 5 years ago
- AutoMATES: Automated Model Assembly from Text, Equations, and Software☆25Updated last year
- ☆12Updated 3 years ago
- Latex starters for creating a CMU thesis or thesis proposal☆34Updated 7 years ago
- Preparing for Life in Academia☆26Updated 8 years ago
- FPsolve: solver for polynomial equations over omega-continuous semirings☆11Updated 9 years ago
- BiBLaTeX style for Springer Lecture Notes in Computer Science☆20Updated 5 years ago
- Benchmark problems for different models of automata, transducers, and related logics☆28Updated 5 months ago
- A Bayesian latent tree model of high-dimensional heterogeneous data☆23Updated 7 years ago
- Relational data mining in python☆31Updated 2 years ago
- Low-level primitives for collapsed Gibbs sampling in python and C++☆33Updated 11 months ago
- Style checker for latex documents☆50Updated last year
- Framework for Gibbs sampling of probabilistic models☆49Updated 9 years ago
- Manipulate NNF (Negation Normal Form) logical sentences☆17Updated 2 years ago