Name: Miki Vanoušek
Type: User
Company: University Of Twente
Bio: Hi, I am Miki!
🎤 Podcaster
🧠 Math student
💻 Programmer
🎯 Aspiring entrepreneur
🇨🇿 From Czechia
️🇺🇲 But My Voice is in English
🎧 Listen!
Location: Enschede, Netherlands
Blog: www.vanousek.com
Miki Vanoušek's Projects
A list of Free Software network services and web applications which can be hosted on your own servers
Computer Networks: A Systems Approach -- Textbook
A powerful, lightweight theme for Hugo built with Tailwind CSS.
An Emacs framework for the stubborn martian hacker
Ergonomic keyboard layout generator
Demonstration on how to use flutter with Nix
Neural network that clasifies digits build from scratch in Pluto.jl notebook.
Graph IO functionality for various formats.
An optimized graphs package for the Julia programming language
:house_with_garden: Open source home automation that puts local control and privacy first.
LogisticSimulator
Website for LunarVim
A community-maintained Python framework for creating mathematical animations.
The Mojo Programming Language
Nix Packages collection
Finding trojans in aligned LLMs. Official repository for the competition hosted at SaTML 2024.
Visual Studio Code