isabella232 Goto Github PK

after_commit

A Ruby on Rails plugin to add an after_commit callback. This can be used to trigger things only after the entire transaction is complete.

after_commit_everywhere

Use ActiveRecord transactional callbacks outside of models, literally everywhere in your application.

after_transaction_commit

ActiveRecord::Base.connection.after_transaction_commit { ... }

afterburn

A one-shot cloud provider agent

afterburner-ansible

Ansible Playbooks to complement afterburner.voceplatforms.com...

aftership.com-plugin-for-nopcommerce

Shipping plugin for aftership.com

afw

Advanced FireWall cookbook for Chef and Linux that uses Iptables and to dynamically configure inbound and outbound rules on each node.

afwebdavmanager

AFNetworking manager for WebDAV

afxdp-plugins-for-kubernetes

ag-grid

Advanced Data Grid / Data Table supporting Javascript / React / AngularJS / Web Components

ag-grid-18

the latest ag-grid (dist) version 18 forked to fix protractor fail to run due to ngZone setTimeout usage

agafua-syslog

Automatically exported from code.google.com/p/agafua-syslog

agamotto

Agamotto: Accelerating Kernel Driver Fuzzing with Lightweight Virtual Machine Checkpoints

agario2

Gamejam

agata

A simple UI layer for visualizing Google Analytics v4 hits on Android apps

agate

Scoring ONNX models on the JVM in scala

agblurtransition

Work in progress of a custom transition delegate for presenting modal views with a blur background

agcdn-test-modules

agda

Agda is a dependently typed programming language / interactive theorem prover.

agda-1

Agda is a dependently typed programming language / interactive theorem prover.

agda-assoc-free

An implementation of "Associativity for Free"

agda-categories

A new Categories library for Agda

agda-data-bindings

Agda bindings for low-level datatypes such as raw naturals and bytestrings

agda-finite-prover

Library for proving propositions quantified over finite sets

agda-frp-js

ECMAScript back end for Functional Reactive Programming in Agda

agda-frp-ltl

An implementation of Functional Reactive Programming

agda-ghc-names

Tool for making sense of the Haskell code generated by the Agda compiler

agda-github-syntax-highlighting

Syntax highlighting used on GitHub

agda-makefile

An makefile with lightweight dependency management

agda-ocaml

OCaml backend for Agda