An axiom-free formalization of category theory in Coq for personal study and practical work
- category-theory
- coq
- monad
- profunctor
Repository Index
59,621 visible repositories in the index
649–672 of 1,363 · Most stars
Python package for graph neural networks in chemistry and biology
- deep-learning
- graph-neural-networks
- dgl
- cheminformatics
Autonomous development for real products. Governed agents build from specs you approve, follow the rules you set, and nothing merges until another agent proves it. Your decisions, judgement and taste are the bar that work must clear. Declare your vision and let agents build it.
A collection of resources covering different aspects of JMeter usage.
- awesome
- jmeter
- jmeter-plugin
- load-testing
Backup and recovery manager for PostgreSQL
- backup
- incremental-backups
- restore
- archiving
Complete DVD Creator 2026 Standalone Setup with All Features Enabled
- acer-nitro
- ais-data
- aiseesoft-data-recovery-speed-comparison
- aiseesoft-fonelab-for-ios
Overlap2D Game development toolkit for UI and Level design
The repository host gives no description.
This bundle provides tools to build a complete GraphQL API server in your Symfony App.
PCOV - CodeCoverage compatible driver for PHP
A PyTorch and TorchDrug based deep learning library for drug pair scoring. (KDD 2022)
- deep-learning
- pytorch
- deep-chemistry
- graph-neural-network
Edge-Drop is a clipboard shelf on the edge of your screen. Hover to open it. Drag files and images into any app, click to copy text and links. Free and open-source for Windows.
- clipboard-manager
- desktop-app
- drag-and-drop
- electron
A apple music cover picture shadow style image library
- swift
- shadow
- image
- ui
Live overlay for drawing, annotating, presenting with zoom, hiding text, and capturing screenshots on Linux. Can be used as whiteboard or blackboard. Packed with features. Highly customisable. Written in Rust.
- annotations
- arch-linux
- hyprland
- zoomit
An agent skill that draws animated icons in one consistent style, for Claude Code, Codex and other coding agents. Comes with 2,600+ open-source icons for React, Vue and SVG, and a website to browse them.
- agent-skills
- animation
- claude
- claude-skill
Overdrive releases for jailbroken PS5
Debloat a slow, ad-filled Android TV over Wi-Fi and give it a fast Apple TV-style home screen. One prompt for Claude Code, or do it by hand.
- adb
- android-tv
- claude-code
- debloat
Raspberry Pi 5 üzerinde çevrimdışı bilgi arşivi: Wikipedia, haritalar ve hayatta kalma kaynakları kendi Wi-Fi ağı üzerinden sunulur, internet gerekmez. Internet-in-a-Box tabanlıdır.Offline knowledge archive on Raspberry Pi 5: Wikipedia, maps and survival resources served over its own Wi-Fi hotspot, no internet required. Built on Internet-in-a-Box.
Script to install Clover - a graphical boot manager for the Steam Deck and Lenovo Legion Go S.
- clover
- dualboot
- refind
- steamdeck
Blazing fast Apple Silicon inference engine optimized for Qwen & Nemotron. OpenAI + Anthropic API compatible. Built by folks from nace.ai
- apple-silicon
- clover
- coding-agents
- decision-models
Oversecured Vulnerable Android App
- appsec
- android-security
- vulnerable-application
- vulnerable-android-apps
Direct file transfer over WebRTC
- webrtc
- file-sharing
- go
- golang
OpenChem: Deep Learning toolkit for Computational Chemistry and Drug Design Research
MicroPython Tool - Utility to interact with a MicroPython board over a serial connection.