P&ID to Knowledge Graph: a Claude skill that turns P&ID PDFs (digital or scanned) into a process knowledge graph of flow, instruments and control loops.
- chemical-engineering
- claude-skills
- isa-5-1
- knowledge-graph
Repository Index
66,263 visible repositories in the index
9,817–9,840 of 15,150 · Most stars
Talo's Godot plugin for open source leaderboards, stats, auth, game saves and more
Simplifying third-party authentication for web applications.
Awesome list of software that I use to do research in medical imaging.
:articulated_lorry: An awesome LIN bus tools, hardware and resources. It helps a reverse engineering LIN bus devices with lightly specializing in automotive embedded controller software and communication understanding.
- automotive
- lin
- lin-bus
- ldf
TranslatedChinese companion to the Lex Fridman Podcast: AI deep-reads, official audio & transcripts for all 506 episodes. Also includes a Chinese navigation site with the full catalog of 506 episodes, AI-powered Chinese close readings, official audio/transcripts, and full-text RSS.
- ai-translation
- chinese
- lex-fridman
- podcast
Mathematical Components compliant Analysis Library
- rocq
- analysis
- coq
- mathcomp
Tool for show test coverage in terminal for Go source files
- golang
- test-coverage
- cli
- unittest
A public catalogue of Lua plugins Neovim users would like to see exist
- neovim
- lua
- plugins
- neovim-plugin
An OTP application for auto-discovering services with Consul
Go implementation of Waves node, libraries and tools for Waves blockchain
- blockchain
- cryptography
- decentralized-applications
- smart-contracts
A simple CMake utility for building and deploying Qt based applications on Android without QtCreator
A TLA+ interpreter and model checker in TypeScript
- formal-verification
- tlaplus
- typescript
EctoWatch allows you to easily get notifications about database changes directly from PostgreSQL.
- ecto
- elixir
- postgresql
Convert string to camel case, snake case, kebab case / slugify, custom delimiter, pad string, tease string and many other functionalities with help of by Stringy package.
- stringygolang
- golang
- stringy
- stringhelper
CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
- coq
- hammer
- automation
- proof-search
Stream images from a connected camera over MQTT, view using Streamlit, record to file and sqlite
- home-automation
- mqtt
- camera
- streamlit
NodeJS SocketCAN extension
- socketcan
- nodejs-socketcan-extension
A local-first study platform for university lectures: PowerPoint slides, spaced repetition, exams, and an optional AI tutor on the Gemini free tier.
A full-featured radio automation system targeted for use in professional broadcast and media environments
Composable, themeable components designed for Reflex. Extend, override, and ship without fighting the framework. Open source.
- python
- reflex
- ui-components
- web-application
Stripe Mobile SDK wrapper for Capacitor
Pretty-printing value, types and type-signatures in Scala
Productivity Application - Kanban Style Productivity Management Application with Customizable Boards, Lists and Cards to Make You More Productive.
- react
- apollo-client
- es6
- react-router