Tomáš Hübelbauer's starred repositories
Signal-Desktop
A private messenger for Windows, macOS, and Linux.
Perplexica
Perplexica is an AI-powered search engine. It is an Open source alternative to Perplexity AI
Signal-iOS
A private messenger for iOS.
athena-crisis
Athena Crisis is an Advance Wars inspired modern-retro turn-based tactical strategy game. Athena Crisis is open core technology.
coq-of-rust
Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦
unproject_text
Perspective recovery of text using transformed ellipses
liikennematto
:blue_car: Small scale traffic simulation with a playful approach
fstar-vscode-assistant
An interactive mode for F* in VS Code
simplest_7segment_display
The simplest possible custom 7-segment display using NeoPixel strip, Arduino UNO and 3D printed enclosure. No soldering required.
spotify-song-liker
Simple app to help me like songs for albums I have liked