IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.

A LaTeX Beamer theme, forked from the metropolis theme

A collection of Beamer themes from the community

A modern LaTeX Beamer theme

Zotero Android Nightly Build

A fur-ociously secure encryption tool that encodes your secrets as adorable cat and dog sounds, using real elliptic curve cryptography with a playful disguise.

Writing an OS in 1,000 lines.

Stack layout for i3/sway wm

Things to do after installing Fedora 43

🤝 Awesome List of GIFs & avatars to use in GitHub.

😎 A curated list of awesome GitHub Profile which updates in real time

🙃 A delightful community-driven (with 2,400+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python…

Use any linux distribution inside your terminal. Enable both backward and forward compatibility with software and freedom to use whatever distribution you’re more comfortable with. Mirror available…

🎨 The exhaustive Pattern Matching library for TypeScript, with smart type inference.

A cross-platform, OpenGL terminal emulator.

Tool/library for manipulating and monitoring temporal logic specifications

Rust for C++ programmers

A command-line murder mystery

Dynamic Wallpapers for Linux

bash, git, rails, Sublime Text 3, homebrew, more...

The theme from libadwaita ported to GTK-3

Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space representation.

An awesome collection of aesthetic wallpapers

A python tool for solving reachability/safety, parity, weak parity and generalized parity games

A collection of tools for generating, manipulating and - most of all - solving parity games.

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

LÖVE is an awesome 2D game framework for Lua.

Minimalist ML framework for Rust

A modern style for qt applications.

Linux, Jenkins, AWS, SRE, Prometheus, Docker, Python, Ansible, Git, Kubernetes, Terraform, OpenStack, SQL, NoSQL, Azure, GCP, DNS, Elastic, Network, Virtualization. DevOps Interview Questions