![vagrant logo](https://raw.githubusercontent.com/github/explore/80688e429a7d4ef2fca1e82350fe8e3517d3494d/topics/vagrant/vagrant.png)
-
StreamSets
- Barcelona
-
21:09
(UTC +02:00) - https://notes.mikel.xyz
- in/mikelsr
Language
Sort by: Recently starred
Starred repositories
A web browser that plays old world blues to build new world hope
Differential testing and fuzzing of HTTP servers and proxies
This is an online course where you can learn and master the skill of low-level performance analysis and tuning.
A massively parallel, high-level programming language
Eclipse Theia is a cloud & desktop IDE framework implemented in TypeScript.
A modern replacement for Redis and Memcached
Run compilers interactively from your web browser and interact with the assembly
hyprland overview mode plugin,a new tile window workflow
An open-source remote desktop application designed for self-hosting, as an alternative to TeamViewer.
Fast, fun, small ActivityPub server.
A monospaced programming font inspired by the Minecraft typeface
Iconic font aggregator, collection, & patcher. 3,600+ icons, 50+ patched fonts: Hack, Source Code Pro, more. Glyph collections: Font Awesome, Material Design Icons, Octicons, & more
The iconic SVG, font, and CSS toolkit
🎨 themer takes a set of colors and generates themes for your apps (editors, terminals, wallpapers, and more).
Study properties of quantum channels.
Data Processing benchmark featuring Rust, Go, Swift, Zig, Julia etc.
🙊 Subtle and not-so-subtle shell tweaks that will slowly drive people insane.
The elegant solution to graphical version control.
An open-source cross-platform alternative to AirDrop