tr3buchet / truths
auto generate truth tables
☆51Updated 2 years ago
Alternatives and similar repositories for truths
Users that are interested in truths are comparing it to the libraries listed below
Sorting:
- Generates truth tables for formulas of sentential logic☆61Updated 8 months ago
- Interface between networkx and manim☆50Updated 4 years ago
- Some examples for title pages with LaTeX☆63Updated 5 years ago
- ☆69Updated 10 months ago
- A builder for LaTeX, knitr, literate Agda, literate Haskell and Pweave that automatically builds dependencies.☆21Updated 6 years ago
- A Manim implementation of the classic Rubik's Cube☆50Updated last year
- my "homepage"☆38Updated 2 weeks ago
- GitHub App to automatically render TeX expressions in markdown files☆111Updated 4 years ago
- Python client for the lichess.org API☆56Updated last year
- The package lets the user mark things to do later, in a simple and and visually appealing way.☆182Updated last year
- Convert graphs generated by Graphviz to LaTeX friendly formats☆155Updated 5 months ago
- auto-split frame environment for LaTeX☆67Updated 2 years ago
- Short guide to LaTeX on Quora☆31Updated 2 years ago
- Better LaTeX experience with Sublime Text☆76Updated 3 years ago
- A Python CAS library☆73Updated last week
- Code for tweets by @manim_community on twitter☆74Updated 3 years ago
- A beautiful and classic looking Christmas Card in EB Garamond and LaTeX☆28Updated 3 years ago
- A library of recreational mathematics and number theory related functions inspired by Project Euler☆17Updated 10 years ago
- Collection of animals and other beings drawn in TikZ☆96Updated last month
- Mirror of the official xournal repository☆25Updated 2 years ago
- A LaTeX package to create highly customizable colored boxes.☆250Updated 6 months ago
- Dot files for Evan Chen (Arch Linux on i3)☆117Updated this week
- A Sphinx extension for producing proof, theorem, lemma, definition, remark, conjecture, corollary and algorithm directives.☆35Updated 3 weeks ago
- Numerical Analysis code from the Oscar Veliz YouTube Channel☆152Updated 2 months ago
- Bindings for FontAwesome 5 icons to be used in XeLaTeX.☆40Updated 7 years ago
- A NetworkX extension for calculating graph invariants.☆20Updated 2 years ago
- Customizable LaTeX bot for Telegram messenger☆223Updated last year
- Some LaTeX code snippets I've hacked together over the years.☆139Updated 4 months ago
- Adventures in code analysis for teaching Python.☆96Updated this week
- IPython magics for generating figures with TikZ☆166Updated 4 months ago