Thanks to visit codestin.com
Credit goes to github.com

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

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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

275 137 Updated Oct 10, 2025

The OpenTelemetry .NET Client

C# 3,587 848 Updated Oct 24, 2025
PowerShell 181 99 Updated Oct 23, 2025

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

Python 6,154 229 Updated Oct 10, 2025

WebAssembly system interface plugins to MSBuild

C# 4 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 528 45 Updated Jan 11, 2025

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

C# 1 Updated Oct 23, 2025

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

C# 5,443 1,389 Updated Oct 25, 2025

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

Python 25 3 Updated Oct 14, 2025

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

Python 4 1 Updated Aug 24, 2025

Free MLOps course from DataTalks.Club

Jupyter Notebook 13,535 2,713 Updated Oct 15, 2025

A library for mechanistic interpretability of GPT-style language models

Python 2,691 460 Updated Oct 23, 2025

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

JavaScript 18 1 Updated Nov 3, 2022

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

TypeScript 334 35 Updated May 28, 2024

Multiversal tree writing interface for human-AI collaboration

Python 1,305 90 Updated Jun 28, 2024

A plugin tracks occurrences and numbers in your notes

TypeScript 1,656 245 Updated Oct 20, 2025

i3wm Simulator for Win10 using autohotkey

AutoHotkey 99 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 22,623 1,972 Updated Oct 8, 2025

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

JavaScript 3,706 135 Updated Sep 25, 2025

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

JavaScript 2,132 106 Updated Sep 5, 2023

Private front-end for Reddit

Rust 5,142 267 Updated Feb 15, 2025

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

C# 2 1 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 177 35 Updated Apr 14, 2024

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

Python 3,128 538 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

28,386 2,127 Updated Feb 19, 2025

Ultimate tool for keeping your digital junk organised

C# 1 Updated Feb 7, 2023