puffnfresh/Honer.app

Stars
285
Rank 145,115 (Top 3 %)
Language
Objective-C
License
MIT License
Created about 11 years ago
Updated almost 4 years ago

puffnfresh/Honer.app

puffnfresh

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

OS X application to draw a border around the focused window

Honer

Update

Honer is broken on recent versions of macOS. Please take a look at the Limelight project as an alternative.

About

Honer is an OS X application to draw a border around the focused window. It's useful for people who use tiling window managers and people who have accessibility requirements.

Honer requires at least OS X 10.9 (Mavericks).

Download

You can download the latest release here.

Screenshots

License

MIT

roy

Small functional language that compiles to JavaScript.

bilby.js

Serious functional programming library for JavaScript.

toggle-osx-shadows

Tiny tool to toggle window shadows on OS X

iridium

xmonad with the X11 abstracted and configured with Idris

nix-files

My NixOS configuration and custom Nix derivations.

brushtail

JS AST rewriter for tail call elimination

node-webgl

WebGL addon for node.js

wat-collection

Collection of "wat" moments in various languages

sonic2

Sonic the Hedgehog 2 in Haskell

node-cgi

A CGI adaptor for node.js

free-graphs

Generate GraphViz graphs by interpretting free monads.

game-of-comonads.js

Pure and comonadic Game of Life in Fantasy Land compatible JavaScript

rephrase

Rewrite rules for JavaScript.

haskell-buildpack-demo

Demo of the Heroku Haskell Buildpack

bam-idris-blog

Static blog generator in Idris.

tryidris

crosscheck

Using QuickCheck to test functions in other languages/environments.

licentious

License your GitHub repository in seconds

atsboot

A tiny 32 bit kernel written in ATS

eta-android

Quick example of Eta on Android

language-scala

Pretty printer of Scala

leftpad.hs

Verified left pad

c4-model

Haskell implementation of C4 model, for specifying software architecture

haskell-jwt

JSON Web Token (JWT) decoding and encoding

th-pprint

Simplify and render Template Haskell

fo

Overloaded operators for Fantasy Land compatible JavaScript.

purescript-streams

Compositional, streaming I/O library (unfinished)

stl-idris

Code from my StrangeLoop 2014 Idris presentation.

ray

Roy plugin for Play 2.0

nix-command-store-plugin

Arbitrary commands as remote Nix stores

game-of-comonads

Game of Life written using a Comonadic grid/board and Ncurses.

linuxkit-builder

See newer work at https://github.com/nix-community/linuxkit-builder

type-search

Hoogle's core type search algorithm, as a library

scrappy

Better Scala for-comprehensions using paradise's annotation macros

kosinski

Compression used in Sonic the Hedgehog

crab-emacs

Emacs minor mode to use Emacs as a Crab remote browsing server.

purescript-webrtc

PureScript WebRTC bindings

confining-strut

Sets an engine independent toString on Functions

blimp

Small Haskell to JVM compiler

nix-chromeos

Scripts for working with Nix via a chroot on ChromeOS.

idris-partiality

The partiality monad in Idris.

editpipe

Edit stdin using an editor before sending to stdout.

osxplaypause

Simple OS X application to trigger the play/pause key

lam

Experiment in generating a functional Java library from Haskell

totality

A total functional language embedded in Scala using macros.

crab-chrome

Chrome Extension to allow Chrome as a Crab remote browsing client.

amqp-pathwatcher

Dump close_write inotify events onto an AMQP queue.

megadrive-palette

Palettes for Sega Mega Drive (and Genesis)

type-algebra

Haskell library for operations on type algebra, e.g. inhabitant counting

scalaz-concurrent-io

Functions for working with concurrency within the scalaz IO type.

macgiffer

OS X screencast as a GIF, using just a paperclip and a sock.

emu.js

Simple JavaScript documentation generator.

vagrant-haskell-heroku

Vagrant project for deploying Haskell to Heroku

idris-workshop

Small collection of Idris exercises

awsom

Implemenation of a Self-Organising Map using Python

bounded-array

Arrays with a value for every index

novation-launchpad

Haskell for the Novation Launchpad

buzzbee

jQuery plugin and web service to embed Google Buzz in your website

puffyterm

GTK-based terminal emulator configured using Haskell

reaktor-hands-on

Reaktor Hands On: Pure Functional Programming in Plain JavaScript

wasm-encoder

Haskell low-level WebAssembly encoder

halves

Splitting/combining data structures to/from halves, quarters, eighths

cufp-2015-tutorial-purescript

Code developed during the PureScript Tutorial at CUFP 2015

lastresort

Turing Tarpit based on pattern matching. Entry into PLT Games #1 ("Into the Turing Tarpit").

purescript-functor-semigroups

Semigroups for instances of the functor hierarchy.

epever

Communicating to a Epever/Epsolar Tracer A series charge controller via Modbus

eshindleymilner

Hindley-Milner using the Mozilla Parser API.

roku-api

Bindings to Roku's External Control API

cloud9-userscript

Extend the Cloud9 editor with a client-side script.

stack-nix

scalispa

A small S-expression to JVM bytecode compiler.

haskell-hangouts

Projects from the Haskell Hangouts

cufp-2016-purescript

hnchumby

A Hacker News client for Chumby.

scander

Single file PHP remote administration

yesod-buildpack-demo

Demo of a Yesod application deployed to Heroku using the Haskell Buildpack

stunning-octo-happiness

bigtext-slideshow

HTML5 slideshow demo with BigText.

folds4s

Beautiful Folding

ProfunctorBot

LambdaBot on Twitch

puffnfresh-ghc-plugin-lens

crypto-keys-ssh

strip18

A programming language REPL as a game. Entry into PLT Games March 2013 ("Game on")

rsahub

Easily send encrypted messages to GitHub users.

papa-prelude-core

Useful functions from Prelude, or reimplemented from base

git-log-impact

Shows a chart of lines added to a repository (as recorded by git log)

sicp-exercises

Structure and Interpretation of Computer Programs Exercises (in Scheme)

word4

Provides Word4, half a Word8

kiks-scilab

Port of KiKS to SciLab

prelim-monoid

eta-midi-player

fiery-biscuits

An entry for PyWeek