Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
- coq-plugin
- coq-tactic
- coq
- docker-coq-action
Repository Index
47,133 repositories indexed
241–264 of 275 · Most stars
ActionScript AIR ORM for using client-side SQLite within AIR and Flex apps. Supports ActiveRecord style models, migrations and associations.
Exercise used for our recruitment process
JavaScript SDK for Subsocial blockchain.
Chapter 7: Social app with Firebase and Ionic 2
Official Supabase community starter. Social media template with opinionated modern frameworks (React, TypeScript, Zustand, etc)
Unofficial J2ME application for the most popular Russian social site, VK.
- homebrew
- j2me
- j2me-platform
- vk
PyTorch implementation of "TGSA: Protein-Protein Association-Based Twin Graph Neural Networks for Drug Response Prediction with Similarity Augmentation"
DocId set compression and set operation library
Introduction to R for Social Scientists
Trufi-Core Adaptation for Cochabamba-Bolivia
Model Layer Implementation for a J2EE Pull MVC WebApp
- j2ee
- mvc
- orm
- velocity
Abstraction layer for simple rabbitMQ connection, messaging and administration
proof script associated to tutorial material
Showcase your Telegram channels, groups, and bots with beautiful, dynamic preview cards. Perfect for GitHub profiles and portfolios. ✨
- developer-tool
- nextjs
- profile-badge
- profile-readme
Partitionable associations for the CakePHP ORM, allowing for basic limiting per group.
Open Source Social Database
Generic feed adding social features to current applications.
Social platform for people with chronic diseases
- chronic-diseases
- health
- medical
- rails
Association Debugger is a association diagram drawer for CakePHP
- php
- cakephp
- cakephp-plugin
- associations
Go client for Meta's Threads - OAuth 2.0, rate limiting, full API coverage, production-ready
- api-client
- client
- go
- golang
A GNU Social-compatible microblogging server
Wallet info for your favourite Dotsama cryptocurrencies like Polkadot (DOT), Kusama (KSM), Moonbeam (GLMR), Astar (ASTR), Acala (ACA), Subsocial (SUB), and other Substrate chains in the ecosystem.
- acala
- asset-management
- astar
- crypto-portfolio
Screenshot & OG Images. One API Call. — Edge-native OG image generation API powered by Cloudflare Workers.