Skip to content
View MrMino's full-sized avatar

Highlights

  • Pro

Organizations

@ipython

Block or report MrMino

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 is supported. This note will only be visible to you.
Report abuse

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

Report abuse
Showing results

Multi-platform nightly builds of open source digital design and verification tools

Shell 1,650 135 Updated Aug 18, 2026

IIC-OSIC-TOOLS is an all-in-one Docker image for SKY130/GF180/IHP130-based analog and digital chip design. AMD64 and ARM64 are natively supported.

Shell 1,006 163 Updated Aug 18, 2026

Browser plugin for Linux to SSO on Microsoft Entra ID using a locally running microsoft identity broker (Intune).

JavaScript 212 20 Updated Aug 6, 2026

A digital logic designer and circuit simulator.

Java 5,921 589 Updated Jun 12, 2026

Use your Rasperry Pi Pico and Android Phone as an Oscilloscope and Logic Analyzer

1,454 133 Updated May 17, 2025

Find dead Python code

Python 4,766 200 Updated Apr 30, 2026

rga: ripgrep, but also search in PDFs, E-Books, Office documents, zip, tar.gz, etc.

Rust 9,813 218 Updated Mar 25, 2026

Mutation testing for Python

Python 651 72 Updated Aug 9, 2026

Mutation testing system

Python 1,393 169 Updated Aug 17, 2026

IDE allow you to refactor code, Baron allows you to write refactoring code.

Python 304 49 Updated Dec 9, 2021

Cross compiling toolchains in Docker images

Shell 3,606 423 Updated Jul 30, 2026

This program is used to do static stack analysis on C source code to determine the worst case stack usage for each function

Python 96 28 Updated Nov 24, 2025

PathPicker accepts a wide range of input -- output from git commands, grep results, searches -- pretty much anything. After parsing the input, PathPicker presents you with a nice UI to select which…

Python 5,223 281 Updated Sep 5, 2024

a simple feature-rich dynamic tiling window manager

C 970 55 Updated Jul 11, 2026

A reactive notebook for Python — run reproducible experiments, query with SQL, execute as a script, deploy as an app, and version with git. Stored as pure Python. All in a modern, AI-native editor.

Python 22,390 1,229 Updated Aug 19, 2026

improved screen locker

C 995 415 Updated Oct 31, 2025

Python client for the ENTSO-E API (european network of transmission system operators for electricity)

Python 718 266 Updated Apr 14, 2026

ASSUME - Agent-based Simulation for Studying and Understanding Market Evolution

Python 107 45 Updated Aug 17, 2026

pytest plugin for pretty printing the test summary.

Python 474 9 Updated Jun 4, 2025

the SSH library

C 1,570 642 Updated Aug 17, 2026

🐍 Complete C99 parser in pure Python

Python 3,560 646 Updated Jul 29, 2026

SPy language

Python 805 61 Updated Aug 11, 2026

Code snippets for "Can we deploy yet?" talk

Python 4 Updated Apr 13, 2026

GEF (GDB Enhanced Features) - a modern experience for GDB with advanced debugging capabilities for exploit devs & reverse engineers on Linux

Python 8,320 833 Updated Jun 16, 2026

A calendar, task manager and daily planner plugin for logseq

TypeScript 1,001 54 Updated Jun 10, 2024

Python binding for the libpcap C library.

Perl 60 15 Updated Feb 16, 2026

pip-check gives you a quick overview of all installed packages and their update status.

Python 184 9 Updated Aug 27, 2025

Python interface for igraph

Python 1,460 269 Updated May 14, 2026

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

CSS 64,293 3,947 Updated Aug 10, 2026

The most customisable and low-latency cross platform/shell prompt renderer

Go 23,307 2,776 Updated Aug 18, 2026
Next