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

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

High-interaction Honeypot for PLCs and Industrial Control Systems

Actionscript examples for use with the Away3D engine for Flash Player 11

IsoHill is a new isometric engine for Flash Player 11 [molehill] built on top of the open 2D framework Starling. Features: Plugins - engine-wide modifications, Includes a TMX [CVS export] parser, Components - dynamic logic can be added and removed from IsoSprites, Virtually unlimited layers, Anti-aliasing of isometric tiles, deterministic framework, Mipmapping, and under BSD license

Actionscript 3 library to parse OpenType fonts and render them using Stage3D

A port of sfxr from C++ to AS3, using the new sound and file capabilities of Flash Player 10.

Neovim plugin that prevent cursor from moving when using shift and filter actions.

• neovim
• neovim-plugin
• nvim
• nvim-plugin

A low-to-medium interaction SSH Honeypot with features to capture terminal activity and upload to asciinema.org

• golang
• ssh-server
• honeypot
• ssh

Nellie: Automated organelle segmentation, tracking, and hierarchical feature extraction in 2D/3D live-cell microscopy

• biology
• fluorescence
• image-analysis
• image-processing

Rails frontend to The Genome Institute's drug gene interaction database.

a low-interaction honeypot

An easier constructor for UIAlertController. Present an alert from anywhere.

• uialertcontroller
• swift
• alert
• uialertview

Mobile App CI workflow GEnerator: Android, iOS, Flutter, and React Native!

• ci
• cicd
• android
• flutter

A lisp compiler for the AVM2.

TranslatedActionScript (AS3) library for processing binary data. This library contains MD5, SHA-1, SHA-2 ( SHA-224 and SHA-256 ), Base64, CRC32 algorithms, JSON encoder & decoder as well as PNG and JPEG encoders.

• actionscript
• jpeg
• png
• md5

Facilitates simple durable and asynchronous messaging in dotnet apps.

• async
• csharp
• dotnet
• messaging

Fantasy action RPG using the FLARE engine

HydraP2P is an ActionScript 3 library aiming to simplify the peer-to-peer API introduced in Flash Player 10.1

🔟 Implementation of rational number arithmetic for .NET with arbitrary precision.

• arbitrary-precision
• biginteger
• bigrational
• c-sharp

GoFreeDB is a Golang library that provides common and simple database abstractions on top of Google Sheets.

• database
• golang
• google-sheets-api
• google-sheets-api-v4

Object-based Database Interaction for VBA. Create SQL Statements with VBA objects instead of string concatination.

• vba-excel
• sql
• library

A QR code encoder in as3