rhendric Goto Github PK

actions

Github actions for Haskell CI

agda

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

aha

Ansi HTML Adapter

ava

:rocket: Futuristic JavaScript test runner

brief

RSS reader extension for Firefox

bubblewrap

Unprivileged sandboxing tool

buble

closure-compiler-npm

Package for managing and documenting closure-compiler for use via npm

dash-to-dock

A dock for the Gnome Shell. This extension moves the dash out of the overview transforming it in a dock for an easier launching of applications and a faster switching between windows and desktops.

documentation

:book: documentation for modern JavaScript

exec

firefox-extension-unity-launcher-api-e10s

Unity LauncherAPI add-on for Firefox, compatible with e10s.

flow

Adds static typing to JavaScript to improve developer productivity and code quality.

gl-matrix

Javascript Matrix and Vector library for High Performance WebGL apps

gulp

The streaming build system

gulp-livescript-istanbul

Istanbul unit test coverage plugin for gulp, covering livescript and javascript.

gulp-transform-js-ast

Gulp plugin to transform javascript files by modifying AST nodes with a visitor

gulp-util

Utilities for gulp plugins

gummi

Simple LaTeX editor

herring

Modern Django and ReactJS based web application for puzzlehunt team management!

hfuse

Haskell bindings for the FUSE library

highland

High-level streams library for Node.js and the browser

homebrew

The missing package manager for OS X.

homebrew-cask

A CLI workflow for the administration of Mac applications distributed as binaries

hspec

A Testing Framework for Haskell

javascript-stringify

Stringify is to `eval` as `JSON.stringify` is to `JSON.parse`

jsverify

Property-based testing for JavaScript. Like QuickCheck.

language-bash

Parse and pretty-print Bash shell scripts

language-javascript

Parser for JavaScript, in Haskell

laughing-octo-potato

Bug demonstration