twinters / zoek-nieuwsLinks
Twitterbot that automatically searches the news with user-provided search terms, and posts relevant links.
☆10Updated 2 years ago
Alternatives and similar repositories for zoek-nieuws
Users that are interested in zoek-nieuws are comparing it to the libraries listed below
Sorting:
- Mathematical Genealogy Grapher — a tool to build graphs of mathematician advisor-advisee networks☆51Updated last year
- ☆33Updated last year
- functionality for working with LaTex files☆11Updated 3 years ago
- 🐧 Penguins in LaTeX with TikZ☆79Updated this week
- The package lets the user mark things to do later, in a simple and and visually appealing way.☆182Updated last year
- LaTeX Styles provided by Dagstuhl Publishing☆37Updated 7 months ago
- High-Level Nets Blaster for the Model-Checking Contest☆10Updated 7 months ago
- A beamer latex template for slides and lectures at University of Ulm☆12Updated last year
- Julia wrapper around SWI Prolog☆13Updated 3 years ago
- A latex package to draw cute rubber ducks with TikZ☆179Updated 3 weeks ago
- CTAN - gitinfo2.sty: Use git repository metadata in LaTeX documents☆43Updated 4 years ago
- List of Treewidth solvers, instances, and tools☆34Updated 2 years ago
- Listing of online math seminars☆43Updated 9 months ago
- 🕸️ A visualizer for graphs defined as logic programs☆30Updated 8 months ago
- General Inductive Logic Programming System☆17Updated 2 years ago
- TeX-Files to produce Documents in the corporate Design at the Univeristy of Lübeck☆14Updated 9 years ago
- Tired of needing to come up with synonyms for 'Therefore,' in your mathematical writing? Ponder no longer! This LaTeX package provides a …☆200Updated 8 years ago
- 🐧 Clingo Interactive UI☆26Updated this week
- Easy lecture slides made difficult with pandoc and beamer☆130Updated 2 years ago
- LaTeX package for automatically putting proof environments in appendix☆26Updated last year
- A pandoc filter for numbering figures and figure references.☆334Updated 3 years ago
- A Lean file formatter☆68Updated 2 years ago
- Information on publisher policies on re-use of journal articles in theses☆27Updated this week
- Style package for directly including color emojis in latex documents☆222Updated 6 years ago
- A Python script to create cactus and scatter plots based on matplotlib☆24Updated 4 years ago
- Guidelines for creating a high-quality scientific thesis with tips and examples for layout, figures, and tables☆53Updated 9 months ago
- ⚙️ A conflict-driven nogood learning answer set solver☆125Updated this week
- Converts bibtex files to CSV.☆26Updated last year
- Tree Proof Generator☆170Updated 4 months ago
- Coronavirus time series aligned by number of cases, not date.☆22Updated 5 years ago