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
- Python term rewriting☆29Updated 12 years ago
- ☆102Updated last year
- The Design and Implementation of Probabilistic Programming Languages☆178Updated last year
- ☆12Updated 3 years ago
- probabilistic programming for PL folks☆157Updated 3 years ago
- VATA Tree Automata Library☆32Updated 10 months ago
- Latex starters for creating a CMU thesis or thesis proposal☆35Updated 8 years ago
- ☆22Updated 8 months ago
- Downloading and displaying academic ancestry☆16Updated 9 years 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
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated 11 months ago
- Berkeley DLab Python Intensive May 23-26☆28Updated 9 years ago
- An open bibliography of machine learning for formal proof papers☆32Updated last year
- Stores content in a YAML file and uses Ruby's ERB templating system to handle format and layout.☆35Updated 10 months ago
- Perspectives on Data Science for Software Engineering☆61Updated 2 years ago
- 🕰️ A solver for temporal programs.☆22Updated last year
- Exact Inference Engine for Probabilistic Programs☆133Updated 3 months ago
- Simple recursive and iterative SAT solver written in Python.☆123Updated 6 years ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆49Updated 3 years ago
- BiBLaTeX style for Springer Lecture Notes in Computer Science☆21Updated 5 years ago
- Repo for the Journal of Systems Research (JSYS)☆11Updated 5 years ago
- Style checker for latex documents☆50Updated last year
- The extensive approach to SLE bibliography☆29Updated 5 years ago
- Deep Probabilistic Programming Language☆19Updated 11 months ago
- An interface to SAT solver tools (like minisat)☆60Updated 2 years ago
- Modification to Coq to record intermediate proof states encountered during a proof☆8Updated 6 years ago
- Bridge between WriteLatex and Git.☆46Updated 5 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 10 years ago
- A Python script for "flattening" a nested LaTeX document by pulling in all the \input files☆67Updated last year