tsurrdurr

system-design-101

Explain complex systems using visuals and simple terms. Help you prepare for system design interviews.

fsrs4anki

A modern Anki custom scheduling based on Free Spaced Repetition Scheduler algorithm

.NET-Big-O-Algorithm-Complexity-Cheat-Sheet

Big-O complexities of common algorithms used in .NET and Computer Science.

school-dev-k8s

Spotify-Ad-Blocker

EZBlocker - A Spotify Ad Blocker for Windows

til

:memo: Today I Learned

grpcox

Like Postman, but for gRPC: web based GUI client for gRPC Development Testing

github-contributions

:octocat: A tool that generates a repository which being pushed into your GitHub account creates a nice contributions calendar.

bloomrpc

Former GUI client for gRPC services. No longer maintained.

grpc-gateway

gRPC to JSON proxy generator following the gRPC HTTP spec

docker-protoc

Docker images for generating protocol buffer definitions

AspNetCore.Diagnostics.HealthChecks

Enterprise HealthChecks for ASP.NET Core Diagnostics Package

danser-go

Dancing visualizer of osu! standard maps and custom osu! client written in Go. Also a generator for osu! videos.

tlroadmap

Тимлид – это ❄️, потому что в каждой компании он уникален и неповторим.

the-little-go-book

Sublime-Coq

Coq programming language support for Sublime Text

verified-functional-algorithms-2019

My solutions to exercises in "Verified Functional Algorithms" (2019)

hs-to-coq

Convert Haskell source code to Coq source code

DeepDarkFantasy

A Programming Language for Deep Learning

omnisharp-vim

Vim omnicompletion (intellisense) and more for C#

AspNetCoreSpa

Asp.Net 7.0 & Angular 15 SPA Fullstack application with plenty of examples. Live demo:

fp-slides

lastfm-to-csv

Web based tool for exporting scrobbles

sanic

Accelerate your web app development | Build fast. Run fast.

Telegram.Bot.Examples

Examples for the Telegram.Bot C# Library