Repository Index

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

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

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

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

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

Dependency Injection Framework for Swift, inspired by KOIN.

• swift
• ios
• helper
• koin

TakaTime is a blazingly fast, privacy-first coding activity tracker and the open-source, self-hosted alternative to WakaTime. Track your development activity across Neovim, VS Code, JetBrains IDEs, and Antigravity while generating rich analytics, beautiful dashboards, and GitHub profile statistics—all powered by your own MongoDB database.

• github-actions
• golang
• lua
• neovim

A tool for mining commits from Git repositories and diffs to automatically extract code change pattern instances and features with ast analysis

• ast-analysis
• mining-software-repositories
• kth
• inria

Simple Command Line Options Parser - part of the DUnitX Project

• delphi
• commandlineparser
• pascal
• option-parser

TranslatedA tiny Transformer built from scratch in PyTorch, with an English-to-Chinese translation demo | A small Transformer implemented from scratch with PyTorch, with an English-to-Chinese translation demo, to help understand how the model works

• attention-mechanism
• deep-learning
• educational
• from-scratch

Coverage Reports for Elixir

• elixir
• coverage-report

JMeter plugin that lets you send sample results to an ElasticSearch engine to enable live monitoring of load tests.

• jmeter
• plugin
• jmeter-plugin
• elasticsearch

Fixed timestep library for LÖVE

An open source Geoservices Implementation (deprecated)

• geoservices
• geojson
• arcgis
• gis

CMake precompiled header support via custom PCH compiler extension

• cmake
• cmake-precompiled-headers
• clang
• gcc

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

TranslatedA local memory layer for DeepSeek Harness: those who are raising a "big fat fish" can download it to play with. After testing, once downloaded it feels more human and more natural than using RAG or an external memory store alone.

• dsh-plugin
• dsh-plugin-market

TranslatedDeep-Sea Fish Basket (深海鱼篓): a zero-registration deliverable basket for DeepSeek Harness — Document Preview in the right sidebar, inline diffs, search and sorting, one-click zip packaging, and archiving. Zero-registration deliverable basket for DeepSeek Harness.

• cordis
• deepseek-harness
• deliverables
• dsh

software package for automation

• smart-home
• go
• golang
• smarthome

PDF, MOBI, EPUB documents for Elixir's Getting Started tutorial.

A Float Input View with smooth animation and supporting icon and seperator written with Swift

• swift
• floating-labels
• uitextfield
• coretext

The world's only Open Source CPaaS with a Twilio compatible API

• twilio
• twiml
• voice
• voip

Hilly farm machinery scheduling system: Flask + genetic algorithm + JT/T 808 + Leaflet

Tiny Full-Stack React framework. Avoid Overengineering. Automatic routes, reload and component bundle. It uses its own RSC engine, combining SSR and CSR. 100% Deno, no Node dependencies. Fully compatible with Deno Deploy and Serverless Environments.

• deno
• full-stack-web-development
• react
• rsc

TranslatedVRS Application Recommendation System (志愿 "zhiyuan", college application choices): FastAPI + Neo4j + DeepSeek, with Zhejiang gaokao (college entrance exam) historical data as an example, including Excel data templates.

Data format converters for GameMaker LTS 2022

• gamemaker
• gamemaker-studio-2
• gms2
• struct