![latex logo](https://raw.githubusercontent.com/github/explore/80688e429a7d4ef2fca1e82350fe8e3517d3494d/topics/latex/latex.png)
Highlights
- Pro
Block or Report
Block or report AnvarAtayev
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseLanguage
Sort by: Recently starred
Starred repositories
Lean 4 programming language and theorem prover
Hugo documentation theme as simple as plain book
⏩ Continue is the leading open-source AI code assistant. You can connect any models and any context to build custom autocomplete and chat experiences inside VS Code and JetBrains
Cross-platform, fast, feature-rich, GPU based terminal
Typst package for drawing diagrams with arrows, built on top of CeTZ.
A local-first personal finance app
A neovim plugin to navigate and execute code cells
Main website and documentation for Actual Budget
A new markup-based typesetting system that is powerful and easy to learn.
Quick Look extension for highlight source code files on macOS 10.15 and later.
ArcticDB is a high performance, serverless DataFrame database built for the Python Data Science ecosystem.
List of papers studying machine learning through the lens of category theory
AppleScript for iTerm2 Alfred integration.
A use-package inspired plugin manager for Neovim. Uses native packages, supports Luarocks dependencies, written in Lua, allows for expressive config
Self study on Cryer and Chan's "Time series analysis with applications in R"
🎓 Path to a free self-taught education in Computer Science!
Firefly III: a personal finances manager
Companion webpage for the book "Bayesian Optimization" by Roman Garnett
High performance datastore for time series and tick data
Sioyek is a PDF viewer with a focus on textbooks and research papers