emichael / SlackLaTeXBotLinks
LaTeX bot that responds to Slack slash commands
☆16Updated 8 years ago
Alternatives and similar repositories for SlackLaTeXBot
Users that are interested in SlackLaTeXBot are comparing it to the libraries listed below
Sorting:
- pySMT: A library for SMT formulae manipulation and solving☆616Updated 2 weeks ago
- Resources for people running research groups.☆206Updated 8 years ago
- Python bindings to picosat (a SAT solver)☆191Updated 3 weeks ago
- A simple Python wrapper around the DBLP API, currently supporting author search and author and publication lookup.☆79Updated 3 years ago
- Simple Google-style logging wrapper for Python☆53Updated 2 years ago
- RISECamp Tutorials☆38Updated 5 years ago
- Distributed Numpy☆148Updated 7 years ago
- Serverless Scientific Computing☆87Updated 6 years ago
- Attention and Augmented Recurrent Neural Networks☆174Updated 6 years ago
- Some examples trained on very reduced versions of the MNIST training set☆47Updated 7 years ago
- A primal-dual framework for distributed L1-regularized optimization☆36Updated 9 years ago
- Implements a message passing interface (MPI) wrapper that makes it easy to do massively parallel computations inside the Torch deep-learn…☆110Updated 6 years ago
- GitXiv - Collaborative Open Computer Science.☆269Updated 8 years ago
- ☆68Updated 7 years ago
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆77Updated last year
- A topology textbook with a hubristic title☆31Updated 9 years ago
- Ping the world!☆83Updated 10 years ago
- Interactive performance benchmarking in Jupyter☆33Updated 9 months ago
- Off the convex path☆67Updated 2 years ago
- LaTeX template and custom commands☆59Updated 6 years ago
- A toolkit for SAT-based prototyping in Python☆432Updated this week
- a heap with decrease-key and increase-key operations☆102Updated 6 years ago
- Fall 2014 CS194-16 Introduction to Data Science assignments☆23Updated 4 years ago
- ☆54Updated 6 years ago
- An implementation of 9x9 Tic Tac Toe☆76Updated 5 years ago
- probabilistic programming for PL folks☆157Updated 4 years ago
- Python Combinatorial Optimisation Platform☆160Updated 4 years ago
- ☆68Updated 10 years ago
- ☆10Updated 5 years ago
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆231Updated 4 years ago