Online bash terminal(emulator) tutorial. A step by step tutorial for the bash shell.
Repository Index
55,140 visible repositories in the index
481–504 of 597 · Most stars
Classification and Gradient-based Localization of Chest Radiographs using PyTorch.
- fine-tuning
- vgg16
- resnet18
- densenet121
MacOS Status Bar App to switch between kubernetes contexts
- kubernetes-cluster-context
- kubernetes-context
- macos-menubar
- kubernetes
PSR-7 middleware foundation for building and dispatching middleware pipelines
- psr-7
- middleware
A plugin help you to copy your two-factor verify code in Powertoys Run
- powertoys
- powertoys-run
- powertoys-run-plugin
Template for PowerToysRun Plugin in Visual Studio
- powertoys-run
- powertoys-run-plugin
- visual-studio
- visual-studio-template
MicroPython IEEE802.15.4 / Zigbee parser
Finite sets, finite maps, multisets and generic sets
- coq
- ssreflect
- mathcomp
- finite-sets
Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]
- coq
- mathcomp
- 2-3-tree
- avl-tree
Open-source AI study companion — Google Classroom sync, Gemini AI plans, SRS flashcards, GPA predictor, AI quiz, MCP server for Claude Code. Try demo at shiori-v1.vercel.app
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
- coq
- mathcomp
- regular-languages
- ssreflect
Python-like dictionaries for Go
- golang
- go
- python
- dict
ROS QGIS Plugin prototype
A C++ Library for Linux based single board computers ( sbc ) to drive electronic displays. Developed and tested on Raspberry pi (5, 4 & 3).
- erm19264
- hd44780
- library
- nokia5110
The universal ISSR server compatible with <your-favorite-programming-language>
A symfony bundle to handle multiple upload ways on your REST API.
A package to add protection to Vapor against CSRF attacks.
A curated, opinionated collection of tools and resources dedicated to Performance Engineering, covering both Observability and Performance Testing.
Pre-rendering for JavaScript websites that delivers SSR-level SEO, enhanced link previews, and performance via effortless middleware integration — ideal for PWAs, SPAs, and modern JS-driven apps, websites, and webpages
- meteor
- middleware
- crawler
- seo
QuickNotes is a plugin for [Microsoft PowerToys Run](https://github.com/microsoft/PowerToys) that allows you to quickly create, manage, and search notes directly from your PowerToys Run interface. Simply type `qq` followed by your note text to save it,
- csharp
- dotnet
- notes
- plugin
Ultra high performance RPC
- high-preformance
- epoll
- rpc-framework
- flatbuffers
Common testing tools for C++ which are used for testing in various OSRF projects.
Conventional Commits source for blink.cmp
The formal proof of the Odd Order Theorem
- coq
- ssreflect
- mathcomp
- feit-thompson-theorem