cairomassimo / py2tex
Convert Python to LaTeX pseudocode (algorithmicx)
☆30Updated 3 years ago
Alternatives and similar repositories for py2tex:
Users that are interested in py2tex are comparing it to the libraries listed below
- Interview questions for Computer Science faculty jobs☆40Updated last year
- Autoreject.org — An automatic review generator☆69Updated last year
- ACM consolidated LaTeX styles☆651Updated 3 months ago
- Examples of autograders for running on Gradescope☆84Updated 3 months ago
- Source code and datasets for Ekya, a system for continuous learning on the edge.☆105Updated 3 years ago
- A collection of recent papers, benchmarks and datasets of AI4Code domain.☆57Updated last year
- A class for Technion IIT PhD/Masters theses - with a sample thesis using it☆40Updated last week
- Clood CBR: Towards Microservices Oriented Case-Based Reasoning☆16Updated 10 months ago
- Quick start for modern LaTeXing for an IEEE conference☆101Updated this week
- CS 704 course website - Principles of Programming Languages☆67Updated 2 years ago
- Python package for Sentential Decision Diagrams (SDD)☆56Updated 2 months ago
- readme☆153Updated last year
- [ICML 2021] Break-It-Fix-It: Unsupervised Learning for Program Repair☆113Updated 2 years ago
- This plugin displays your tex source in a textarea so plugins like grammarly can check it.☆518Updated last year
- An Automata Learning Library Written in Python☆180Updated 2 weeks ago
- CS Graduate Job Guide☆32Updated 5 months ago
- A simple Python wrapper around the DBLP API, currently supporting author search and author and publication lookup.☆77Updated 3 years ago
- py-aiger: A python library for manipulating sequential and combinatorial circuits encoded using `and` & `inverter` gates (AIGs).☆43Updated 4 months ago
- Collection of resources for research concerning Machine Learning and Formal Methods.☆86Updated 3 years ago
- Academic Responsive (AR) Website Template☆146Updated 2 years ago
- An implementation of schedulability tests for non-preemptive job sets, for uni- and global multiprocessors, with precedence constraints.☆10Updated this week
- [AAAI 2022] RareGAN: Generating Samples for Rare Classes☆22Updated 2 years ago
- A Framework for Deep Neural Network Verification☆56Updated 4 months ago
- A web page for checking if two regular expressions match the same language.☆17Updated 7 years ago
- A Framework for Reasoning about System Performance using Causal AI☆42Updated 3 years ago
- PyTorch implementation for "ProtoTransformer: A Meta-Learning Approach to Providing Student Feedback" (https://arxiv.org/abs/2107.14035).☆16Updated 2 years ago
- High-performance probabilistic exact counter☆31Updated this week
- [EMNLP'23] Code for 'Rethinking Negative Pairs in Code Search'☆11Updated last year
- Code for paper A simple approach to case-based reasoning in knowledge bases☆35Updated 2 years ago
- Extract features and bounding boxes using the original Bottom-up Attention Faster-RCNN in a few lines of Python code☆11Updated 2 years ago