Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
- coq
- dependency-graph
- dependency-analysis
- docker-coq-action
Repository Index
47,133 repositories indexed
2,689–2,712 of 3,874 · Most stars
Automatically exported from code.google.com/p/firemonkey-container
Readings for "A Unified View of Relational Deep Learning for Drug Pair Scoring." (IJCAI 2022)
- ddi
- drug-synergy
- synergy-prediction
- deep-chemistry
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
Computer Graphics and Gaming API (Vulkan, OpenGL, GLFW, STB, ...) bindings for Java using Java 22 FFM APIs
- glfw
- glfw3
- glfw3-bindings
- java
TranslatedKaiwu engineering-assisted design: ideas are first expressed on a canvas, and multimodal AI understands the design requirements to generate concept images and output engineering goals.
Random fake data and struct generator for Go.
- faker
- factory
- random
- struct
go websocket client for unit testing of a websocket handler
Inquiries extension for Refinery CMS
JMeter plugin that lets you send sample results to an ElasticSearch engine to enable live monitoring of load tests.
- jmeter
- plugin
- jmeter-plugin
- elasticsearch
A library designed to generate cryptographically strong random numbers suitable for managing data such as passwords, account authentication, security tokens, and related secrets.
An NLP library for Uralic languages such as Finnish, Skolt Sami, Moksha and so on. Also supporting some non-Uralic languages such as Spanish, French, Arabic, Swedish, Norwegian, Russian and English. LLMs, FSTs and More!
- nlp-library
- uralic-languages
- finnish
- sami
Hilly farm machinery scheduling system: Flask + genetic algorithm + JT/T 808 + Leaflet
gen_lang is a dart library for internationalization. Extracts messages to generate dart files required by Intl, inspired by Intl_translation and Flutter i18n
- flutter
- flutter-plugin
- flutter-package
- flutter-plugins
Write amazing, strong-typed and easy-to-read NSPredicate.
- cocoapods
- flow
- autogenerated
- code-generation
Go 1.18+ generic tuple
- golang
- golang-package
- tuple-library
- tuples
Go tool to generate documentation for environment variables
- devtools
- documentation
- go
- go-generate
A Gitlab release note generator
- gitlab
- gitlab-ci
- tags
- release-notes
A JSON ODM (object document mapper) for JavaScript to use on the server or in the browser.
- javascript
- odm
- document-mapper
- json
The repository host gives no description.
Simple Container-Utilizing Build Apparatus
Dependency injection made simple.
- fody
- di-container
- ilweaving
- dependency-injection
Yet Another Nerdtree In Lua