LaTeX/Tikz animation goodness
☆92Nov 17, 2019Updated 6 years ago
Alternatives and similar repositories for animations
Users that are interested in animations are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Code snippets from the Streaming Systems book (streamingbook.net).☆253Apr 12, 2022Updated 4 years ago
- ☆40Nov 1, 2021Updated 5 years ago
- ☆15Sep 28, 2026Updated last month
- This code is for monitoring Kafka offsets☆23Jun 17, 2022Updated 4 years ago
- ☆34Oct 15, 2019Updated 7 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Replicated BLOB Store built upon HomeStore☆11Oct 20, 2026Updated 2 weeks ago
- https://openjdk.org/projects/jdk/14 released 2020-03-17☆16Mar 18, 2020Updated 6 years ago
- Read html content without clutter from Emacs☆30Mar 10, 2022Updated 4 years ago
- A sound and complete solver for type inhabitation and unification in dependent type theory, written in 185 lines of Lean.☆12Sep 20, 2026Updated last month
- Spark(multi versions) + Streaming/Hive/SQL/UDF Demos☆15May 17, 2018Updated 8 years ago
- Repo containing the game for the Minetest Engine.☆14Mar 22, 2016Updated 10 years ago
- Flink Forward 2017-04-10 &11 ppt☆57Apr 20, 2017Updated 9 years ago
- Awesome WM dotfiles☆11Apr 15, 2014Updated 12 years ago
- this repogitory describe how to use avro-tools☆12Feb 21, 2018Updated 8 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A case study in creating a blog utilizing Webpack 5 Module Federation.☆11Dec 5, 2022Updated 3 years ago
- The world beyond batch: Streaming 102中文翻译☆16Mar 17, 2017Updated 9 years ago
- Formalization of Regular Languages in Agda: regular expressions, finite-state automata, proof of equivalence, proof of the pumping lemma.☆19Jul 30, 2020Updated 6 years ago
- engula-operator creates/configures/manages engula clusters atop Kubernetes☆12Jan 5, 2022Updated 4 years ago
- 论文阅读总结☆32Jun 13, 2019Updated 7 years ago
- R Code + R Notebook on how to process and visualize the official IMDb datasets.☆12Jul 16, 2018Updated 8 years ago
- ☆11Jul 25, 2018Updated 8 years ago
- An automated theorem prover for intuitionistic propostional logic☆14Sep 21, 2020Updated 6 years ago
- Code demos for _Intro to Shiny_, a video course with O'Reilly Media.☆11Sep 20, 2016Updated 10 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- AsyncIO-powered python DSL for running commands locally, on docker, or over ssh.☆13May 21, 2019Updated 7 years ago
- Spark Structured Streaming JDBC Sink☆16Apr 26, 2021Updated 5 years ago
- ☆10Jun 9, 2019Updated 7 years ago
- Skeleton to build static websites using Pug and Less, plus a live-reload webserver for faster development☆10May 4, 2017Updated 9 years ago
- ☆10Mar 25, 2021Updated 5 years ago
- A front-end WebSocket Client.☆13May 9, 2013Updated 13 years ago
- ☆10Jul 10, 2016Updated 10 years ago
- A Library for Classical Propositional Logic in Agda☆16Nov 19, 2019Updated 6 years ago
- Template Vector Library☆18Jun 3, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Windsurf integration for BMAD-METHOD - automatic initialization of bmad-agent in projects☆10Oct 21, 2025Updated last year
- SensitiveBye是一款专注于解决数据脱敏的Java和SpringBoot工具包, 能帮助您快速解决项目中的脱敏需求，支持对象字段，接口字段，数据库字段脱敏，json序列化脱敏，日志打印脱敏、敏感词条脱敏、Spring配置文件脱敏等功能☆14Jun 5, 2025Updated last year
- 《Akka HTTP 官方文档》中文版 🚀🚀🚀☆10Jan 23, 2018Updated 8 years ago
- Docker build and test files for testing new versions of PostgreSQL. Designed in order to create a test container for alphas and betas on…☆13Jul 2, 2015Updated 11 years ago
- Compiler for the Tiger programming language☆12Oct 27, 2018Updated 8 years ago
- ☆12Jun 22, 2026Updated 4 months ago
- 用 12 节课从零构建 AI Agent | Java 1.8 实现 Claude Code | Learn AI Agent from scratch in Java☆16Mar 25, 2026Updated 7 months ago