💼 An enterprise-grade Next.js boilerplate for high-performance, maintainable apps. Packed with features like Tailwind CSS, TypeScript, ESLint, Prettier, testing tools, and more to accelerate your d…

🐶 Kubernetes CLI To Manage Your Clusters In Style!

ESP32/Arduino hack for the ikea OBEGRÄNSAD led wall lamp

Kotlin Multiplatform Music Downloader, Supports Spotify / Gaana / Youtube Music / Jio Saavn / SoundCloud.

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

AutoRaise (and focus) a window when hovering over it with the mouse

A suite of tools for Petri Nets

Petri Net Workflow Engine for Ruby.

A web service wrapper for LoLA 2.0 (Low-Level Analyzer for petri nets)

Crossover Petri net verifier using its-tools structural reductions in front of Lola model-checker.

Simple JSON localization file manager

Wrapper for ITS-Tools used in the Model-Checking contest

OpenAPI 3 parser to use a specification inside of the code in your projects

Instruct-tune LLaMA on consumer hardware

A Python package for process-mining with DECLARE models.

A general-purpose Process Mining library for .NET

Public repository for the PM4Py (Process Mining for Python) project.

Basic VAE flow using pytorch distributions

A collection of awesome resources for process mining

Contains the development for the Industry 4.0 standards knowledge graph (I40KG). Its current collaborative development is driven by VoCol - http://vocol.iais.fraunhofer.de/sto/

Python package of Tomoto, the Topic Modeling Tool

This applications demos the use of ReactiveSearch and ReactiveMaps and is based on the theme of Yelp!

Google map library for react that allows rendering components as markers 🎉

GLIDE: a diffusion-based text-conditional image synthesis model

Modules for Total.js web applications

Interactive Jupyter Notebook Environment for using the GPT-3 Instruct API