Best Free Footage & Design Inspiration Websites for Content Creators (2026)
Stop wasting time looking for assets. Check out the best free stock footage and design inspiration sites for creators in 2026, featuring Freepik and Dribbble.
Falexis
Tools that respect your attention
and your data.
Minimalist, local-first software. No accounts you don't need, no telemetry you didn't agree to, no cloud where the device would do.
Latest writing
All posts → 
Model Checking: Programming a Simple Model Checker Together Part I
Although Model Checking can seem a very specific topic, understanding its concepts is a crucial point for many theoretical Formal Verification jobs, but also for many real-world applications. Our blog tries to combine what we have learned from the previous blogs with the coding.
2026 Student Creative Stack: Pro Design & Video Tools Without the Watermark
Tired of watermarks? Discover the 2026 student creative stack for engineering students. Get pro graphic design and video tools with zero cost and no learning curve.
Model Checking: Büchi Automata, System Model and LTL Formulae Transformations
Büchi Automata define a class of languages where the words are infinite. Discover how they are used in Model Checking to describe both models and properties.