Skip to content
View JanProvaznik's full-sized avatar
🚜
🚜

Highlights

  • Pro

Organizations

@dotnet

Block or report JanProvaznik

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

A repository to track efforts to produce a source tarball of the .NET Core SDK and all its components

270 132 Updated Jan 17, 2025

The OpenTelemetry .NET Client

C# 3,372 794 Updated Feb 21, 2025
PowerShell 156 82 Updated Feb 15, 2025

A new kind of Progress Bar, with real-time throughput, ETA, and very cool animations!

Python 5,707 211 Updated Oct 26, 2024

WebAssembly system interface plugins to MSBuild

C# 3 2 Updated Aug 21, 2024

Parseltongue is a powerful prompt hacking tool/browser extension for real-time tokenization visualization and seamless text conversion, supporting formats like binary, base64, leetspeak, special ch…

TypeScript 432 32 Updated Jan 11, 2025

The Microsoft Build Engine (MSBuild) is the build platform for .NET and Visual Studio.

C# 1 Updated Feb 21, 2025

The Microsoft Build Engine (MSBuild) is the build platform for .NET and Visual Studio.

C# 5,300 1,360 Updated Feb 21, 2025

The best way to keep yourself on task with the help of LLMs

Python 21 3 Updated Jan 21, 2025

Robotický Správce Deace -- web GUI for playing songs and TTS

Python 4 1 Updated Aug 18, 2024

Free MLOps course from DataTalks.Club

Jupyter Notebook 11,494 2,213 Updated Feb 3, 2025

A library for mechanistic interpretability of GPT-style language models

Python 1,881 333 Updated Feb 22, 2025

Obsidian To HTML, A template for building obsidian style notes to a static site

JavaScript 17 1 Updated Nov 3, 2022

Autocomplete your obsidian notes with AI, including ChatGPT, through a copilot-like interface.

TypeScript 296 34 Updated May 28, 2024

Multiversal tree writing interface for human-AI collaboration

Python 1,150 85 Updated Jun 28, 2024

A plugin tracks occurrences and numbers in your notes

TypeScript 1,449 237 Updated Feb 21, 2025

i3wm Simulator for Win10 using autohotkey

AutoHotkey 94 16 Updated Jan 18, 2025

Download your Spotify playlists and songs along with album art and metadata (from YouTube if a match is found).

Python 18,826 1,701 Updated Jan 18, 2025

A browser extension that redirects popular sites to alternative privacy friendly frontends

JavaScript 3,392 125 Updated Feb 21, 2025

A simple web extension that redirects Twitter, YouTube, Instagram & Google Maps requests to privacy friendly alternatives.

JavaScript 2,055 110 Updated Sep 5, 2023

Private front-end for Reddit

Rust 5,073 266 Updated Feb 15, 2025

A bot for Discord that creates a prediction market that server users can participate in

C# 2 Updated Dec 8, 2022

A simple and fast KD-tree for points in Python for kNN or nearest points. (damm short at just ~60 lines) No libraries needed.

Python 171 35 Updated Apr 14, 2024

Automatically edits vidx. Explanation here: https://www.youtube.com/watch?v=DQ8orIurGxw

Python 3,104 539 Updated Feb 28, 2024

Kolekce Anki balíčků k různým předmětům na MFF (informatika).

13 2 Updated Feb 18, 2024

Questions to ask the company during your interview

27,913 2,110 Updated Feb 19, 2025

Ultimate tool for keeping your digital junk organised

C# 1 Updated Feb 7, 2023