Repository Index

Run AS worker in your AdobeAir projects without having to deal with complicated flash.system.Worker class

Graph Theory [maintainers=@chdoc,@damien-pous]

• coq
• graph-theory
• mathcomp
• docker-coq-action

Old Coq plugin for parametricity [maintainer=@ppedrot]

• parametricity
• coq-plugin
• coq
• docker-coq-action

go-fasttld is a high performance effective top level domains (eTLD) extraction module.

• compressed-trie
• idn
• idna
• ipv4

Adobe AIR native extension for the Bullet physics simulation library

Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]

• docker-image
• dockerfile
• opam
• coq

Simple currying for FuncN and ActionN on RxJava [STABLE]

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

IO for Gallina

• coq
• ocaml
• extraction

Simple ActionN composition to use with RxJava [STABLE]

Simple partial application for FuncN and ActionN on RxJava [STABLE]

Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]

• coq
• bourbaki
• set-theory
• mathcomp

Software Transactional Locks

Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]

• coq-plugin
• large-numbers
• coq
• docker-coq-action

A certified Sudoku solver in Coq [maintainers=@siraben,@thery]

• coq
• sudoku
• nix-action

AS3-based Javascript interpreter, minus a few features (prototype chain, mainly)

Composable Concurrency Abstractions for JavaScript. :railway_track: :rhinoceros: :train: :vertical_traffic_light:

• concurrency
• async-await
• reactive-programming
• streams

Gatling DSL extensions — feeders, profile management, transactions, assertions, Redis integration, and utility functions

• gatling
• performance
• performance-testing
• gatling-plugin

This library is a collection of functional idioms for ActionScript 3 based on Haskell and Coffeescript.

Abstractions and utilities to get rid of boilerplate code in business logic

• datastructures
• generic
• go
• golang

a Vlang library for building PHP extensions natively in Vlang, with bindings and abstractions over the PHP/Zend extension API

an actionscript 3 parser for BVH files

keim's CannonML (shmup scripting language) implementation in Actionscript 3

Actionscript 3 Functional Programing