Alternatives and similar repositories for py2tex:

Users that are interested in py2tex are comparing it to the libraries listed below

• csfaculty / csfaculty.github.io
  Interview questions for Computer Science faculty jobs
  ☆40Updated 11 months ago
• ML-KULeuven / PySDD
  Python package for Sentential Decision Diagrams (SDD)
  ☆55Updated this week
• flandolfi / virtual-di-unipi
  Tile map of the Computer Science Department of Università di Pisa
  ☆12Updated 3 years ago
• pysathq / pysat
  A toolkit for SAT-based prototyping in Python
  ☆407Updated 3 weeks ago
• domschrei / mallob
  Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.
  ☆64Updated this week
• mvcisback / py-aiger
  py-aiger: A python library for manipulating sequential and combinatorial circuits encoded using `and` & `inverter` gates (AIGs).
  ☆42Updated 2 months ago
• ciaranm / glasgow-subgraph-solver
  A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.
  ☆72Updated last week
• squaresLab / VarCLR
  VarCLR: Variable Semantic Representation Pre-training via Contrastive Learning
  ☆38Updated 2 years ago
• JiaxuanYou / G2SAT
  G2SAT: Learning to Generate SAT Formulas
  ☆48Updated 4 years ago
• emeryberger / csconferences
  Major CS conference publication stats (including accepted and submitted) by year.
  ☆117Updated 2 months ago
• gnelissen / np-schedulability-analysis
  An implementation of schedulability tests for non-preemptive job sets, for uni- and global multiprocessors, with precedence constraints.
  ☆9Updated 3 months ago
• nsf-open / nsf-proposal-latex-samples
  LaTeX samples for NSF Research.gov Proposal Submission. For more information about Research.gov Proposal Submission visit https://www.re…
  ☆235Updated last year
• shyam196 / egc
  "Do We Need Anisotropic Graph Neural Networks?" at ICLR 2022
  ☆31Updated 2 years ago
• johnyf / nx2tikz
  Export NetworkX graphs to TikZ directly
  ☆29Updated 3 months ago
• pietrobarbiero / logic_explained_networks
  Logic Explained Networks is a python repository implementing explainable-by-design deep learning models.
  ☆48Updated last year
• Graph-Learning-Benchmarks / gli
  🗂 Graph Learning Indexer: a contributor-friendly and metadata-rich platform for graph learning benchmarks. Dataloading, Benchmarking, Ta…
  ☆42Updated 11 months ago
• sola-st / IdBench
  A benchmark for evaluating embeddings of identifiers in source code.
  ☆22Updated 3 years ago
• zhaoyu-li / G4SATBench
  [TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks
  ☆35Updated 9 months ago
• michelecafagna26 / faster-rcnn-bottom-up-py
  Extract features and bounding boxes using the original Bottom-up Attention Faster-RCNN in a few lines of Python code
  ☆11Updated 2 years ago
• DS3Lab / online-active-model-selection
  Repository for "Online Active Model Selection for Pre-trained ML Classifiers"
  ☆15Updated 2 years ago
• dzambon / graph-matching-toolkit
  ☆24Updated 4 years ago
• zsxoff / arxiv-badge
  arXiv.org non-official badge implementation for Markdown files
  ☆31Updated 4 years ago
• ChuyueSun / Clover
  Clover: Closed-Loop Verifiable Code Generation
  ☆31Updated 8 months ago
• ojdo / thesis-defense
  LaTeX beamer slides of my thesis defense "Open Source Modelling and Optimisation of Energy Infrastructure at Urban Scale"
  ☆43Updated 4 years ago
• ML-KULeuven / deepstochlog
  ☆27Updated last year
• IBM / pyflowgraph
  Flow graphs for Python
  ☆25Updated 2 years ago
• theflyingwolves / NUS-Slides-Latex-Template
  A latex template for the convenience of NUS students to prepare for their presentation slides.
  ☆33Updated 8 years ago
• vijay03 / asstprofbook
  Github repo backing website for the CS Assistant Professor Handbook
  ☆26Updated 5 months ago
• liffiton / PyMiniSolvers
  A Python API for the MiniSat and MiniCard constraint solvers.
  ☆19Updated last year
• CSGuides / grad-job-guide
  CS Graduate Job Guide
  ☆32Updated 3 months ago