BinetReseau / polytechnique-LaTeX
Code for the LaTeX package of École polytechnique
☆14Updated 6 years ago
Alternatives and similar repositories for polytechnique-LaTeX:
Users that are interested in polytechnique-LaTeX are comparing it to the libraries listed below
- A curated list of awesome TikZ packages and resources☆35Updated last year
- Topological Mode Analysis on Steroids☆9Updated 3 years ago
- ☆30Updated 2 months ago
- Equilibrium Verification Environment (EVE) is a formal verification tool for the automated analysis of temporal equilibrium properties of…☆19Updated 8 months ago
- CU Decision Diagram Package (CUDD, unofficial mirror)☆18Updated 12 years ago
- latexdiff helper for git☆25Updated 3 years ago
- Beamer theme for the Department of Information Engineering at the Univeristy of Padova☆11Updated 3 years ago
- Automatic Differentiation via Contour Integration☆52Updated 2 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
- A LaTeX reproduction of "Persecution of New Ideas" by C. L. Blood☆68Updated 9 years ago
- A didactic Python library with well-commented and annotated implementations of machine learning algorithms.☆53Updated 4 years ago
- ITP (ETHZ) Exercise Sheets - LaTeX Style☆15Updated 10 years ago
- Saarland Beamer Theme☆64Updated 6 years ago
- A program for making zooming slides in figma.☆33Updated last month
- Python bindings and API for the flagser C++ library (https://github.com/luetge/flagser).☆13Updated 10 months ago
- Specify and synthesize systems using symbolic algorithms☆48Updated 5 months ago
- A collection of facilitative tools for LaTeX typesetting☆18Updated 5 months ago
- LinBox - C++ library for exact, high-performance linear algebra☆86Updated 2 months ago
- Sudoku solver based on SAT (Boolean Satisfiability) in python☆13Updated 6 years ago
- A Python wrapper for Komei Fukuda's cddlib.☆65Updated 3 months ago
- Sources for "Applied Category Theory for Engineering"☆30Updated last week
- GAP package for Hierarchical Composition and Decomposition of Permutation Groups and Transformation Semigroups☆19Updated last month
- FreeTikZ☆38Updated 7 years ago
- This is the material for the URFIST course on Git & GitHub. Bordeaux, March 27 & 28, 2018.☆59Updated 7 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…☆9Updated 9 years ago
- Introduction to Evolutionary Computation class☆33Updated 2 weeks ago
- Python interface for SCS☆43Updated 2 weeks ago
- Python bindings for the Dynamic Animation and Robotics Toolkit☆15Updated 6 years ago
- A public challenge (examples and tests) for tools that provide Python interfaces to C++ libraries.☆23Updated last year
- The tools you need to interact with Vizzy robot.☆13Updated last year