Aalto-LeTech / aplus-courses
A+ Courses is a plugin for IntelliJ IDEA, used in programming courses at Aalto University
☆16Updated 3 weeks ago
Related projects: ⓘ
- Save matplotlib figures as TikZ/PGFplots for smooth integration into LaTeX.☆2,391Updated last month
- State Space Models library in JAX☆662Updated this week
- Tool for live presentations using manim☆438Updated this week
- A toolkit for SAT-based prototyping in Python☆385Updated 4 months ago
- A LaTeX class for books, reports or theses based on https://github.com/kenohori/thesis and https://github.com/Tufte-LaTeX/tufte-latex.☆825Updated last month
- A Modern Probabilistic Model Checker☆133Updated last week
- Statistical Rethinking (2nd ed.) with NumPyro☆443Updated 7 months ago
- Cleaner and Formatter for BibTeX files☆832Updated this week
- Interactive Markov-chain Monte Carlo Javascript demos☆779Updated 3 months ago
- A modern Beamer theme you can use without installing dozens of CTAN packages.☆14Updated 9 months ago
- Beautiful LaTeX dissertation templates.☆714Updated last year
- Probabilistic programming with NumPy powered by JAX for autograd and JIT compilation to GPU/TPU/CPU.☆2,132Updated this week
- pgf/TikZ diagram editor☆1,127Updated 5 months ago
- Oink, an implementation of modern parity game solvers☆31Updated last month
- Probabilistic Numerics in Python.☆434Updated 4 months ago
- Sequential Monte Carlo in python☆395Updated 2 weeks ago
- Materials for the course MS-C1541: Metric spaces☆16Updated 7 months ago
- LaTeX package and annotated examples for annotating equations using TikZ.☆448Updated last week
- Concurrent decision diagram framework written in Rust☆30Updated 3 weeks ago
- A modern LaTeX Beamer theme☆6,362Updated last year
- Lean Theorem Prover☆2,147Updated 11 months ago
- Repository for the Tetrad Project, www.phil.cmu.edu/tetrad.☆402Updated this week
- The Book of Statistical Proofs☆296Updated last week
- Gemini is a modern LaTex beamerposter theme 🖼☆976Updated 11 months ago
- Spelling, grammar and style checking on LaTeX documents☆926Updated 3 weeks ago
- Functional Data Analysis Python package☆298Updated 3 weeks ago
- BlackJAX is a Bayesian Inference library designed for ease of use, speed and modularity.☆797Updated this week
- Domain-Independent Dynamic Programming (DIDP) framework implemented in Rust.☆26Updated 3 months ago
- Python Bindings for the Probabilistic Model Checker Storm☆29Updated this week
- Simple, typographic beamer theme☆190Updated 3 months ago