Repository Index

Manage and use multiple Ollama instances with automatic offline detection/failover and model availability tracking

Run your tests inside nvim in split window or popup with live feedback

• go
• golang
• lua
• neovim

Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]

• coq
• dependency-graph
• dependency-analysis
• docker-coq-action

.ok folder profiles for bash

hsolve：电磁仿真大规模非正定厄密特征值求解。Certified shift-invert eigensolver for large sparse Hermitian (indefinite, generalized) eigenproblems from EM simulation: MUMPS LDLᵀ + block Krylov-Schur + Sylvester-inertia completeness certificate.

• computational-electromagnetics
• cpp17
• eigensolver
• eigenvalues

Translated2026 VPN and Proxy Subscription Recommendation Guide

• clash
• proxy
• shadowrocket
• sing-box

Malware-Defender: Real-Time Antivirus, Network Monitoring, and Registry Analysis for Windows

• download-malware-defender
• firewall
• malware-defender-download
• malware-defender-latest-version

Automatically exported from code.google.com/p/firemonkey-container

LabVIEW Development Environment for Electronic Circuit Design and Process Automation

• control-systems
• design-pcbs
• download-labview
• labview-installer

Construct dynamic zones that utilise region checking, raycasting and the new BasePart.CanTouch property to effectively determine players and parts within their boundaries.

• roblox
• lua
• zones
• area

Winarchiver: Multi-format Compression and Disc Image Utility for Windows

• create-iso-files
• file-compression-tools
• trial-version
• winarchiver

Photo DVD Maker: Windows Presentation Tool for Image and Music Slideshows

• create-presentations
• jpeg-import
• photo-dvd-maker
• photo-dvd-maker-download

Cinema-Hd: Windows Multimedia Converter with ODU Video Quality Enhancement and Bitrate Calculator

• apple-tv-compatibility
• cinema-hd-free
• cinema-hd-latest-version
• improvement

Shape Your Video Workflow: Batch DivX Conversion and DVD Playback Tuning

• acala-divx-dvd-player-assist-setup
• avi-mp4-mkv-format
• divx-player
• download-acala-divx-dvd-player-assist

Windows GPS tracking and route guidance tool with integrated Google Maps navigation.

• download-google-maps
• google-maps-download
• google-maps-latest-version
• gps-tracker

Network-Inventory-Advisor: Windows network management with device monitoring, anomaly alerts, and so

• anomaly-alerts
• clearapps
• hardware-inventory
• network-audit

Hamsphere: Virtual Ham Radio Software with Eleven Bands and Double Sideband Modulation

• hamsphere-free
• hamsphere-installer
• hamsphere-windows
• home-radio-station

Readings for "A Unified View of Relational Deep Learning for Drug Pair Scoring." (IJCAI 2022)

• ddi
• drug-synergy
• synergy-prediction
• deep-chemistry

Lotto: Statistical Lottery Analysis and Betting Software for Windows

• home-leisure
• lottery-software
• lotto-free
• lotto-windows

Natural Hearts PREMIUM Windows Theme with Bright Colors and Smooth Rounded Edges

• free-software
• natural-hearts-premium
• natural-hearts-premium-download
• pc-software

Translated研习 (Yanxi, "study and practice"): a local stock research learning workbench that supports official financial report evidence, DCF valuation, and a Codex AI tutor

RLI Next Gen (Rling), a faster multi-threaded, feature rich alternative to rli found in hashcat utilities.

Helicon-Focus: Focus Stacking and Depth-of-Field Blending Software for Windows

• enhance-images
• helicon-focus-download
• helicon-focus-installer
• helicon-focus-windows

Canvas Full Version: Professional Design and Technical Illustration Software for Windows

• canvas-download
• canvas-free
• graphic-illustrations
• pdf-export