Free and Open Source clipboard history application for Mac OS X that's always at your fingertips.
☆20Oct 2, 2016Updated 9 years ago
Alternatives and similar repositories for clyppan
Users that are interested in clyppan are comparing it to the libraries listed below
Sorting:
- A script for converting Chrome bookmark.bak files to Chrome Bookmark.html files so you can import your bookmarks from your AppData file.☆10Jun 6, 2015Updated 10 years ago
- Merge sort correctness proof☆11May 21, 2015Updated 10 years ago
- Wrapper class for integrating IPay88 (Malaysia) payment gateway system.☆14Oct 29, 2011Updated 14 years ago
- ☆14May 15, 2011Updated 14 years ago
- A TextMate colour theme☆19May 6, 2013Updated 12 years ago
- auto-mount disk images on macOS☆11Jan 9, 2020Updated 6 years ago
- GCode parser, pretty-printer and processing utils☆15Nov 13, 2023Updated 2 years ago
- Get album / artist artwork and metadata for use in music apps☆10Feb 23, 2019Updated 7 years ago
- Type declarations for Node's Buffer class☆10Jul 5, 2023Updated 2 years ago
- Compiler generator (3rd Futamura projection) for first-order Scheme☆13May 21, 2016Updated 9 years ago
- Stream torrents to VLC using Peerflix and torrent using your terminal☆10Feb 15, 2018Updated 8 years ago
- My notes on reading "Domain Driven Design" by Eric Evans☆12Jul 18, 2015Updated 10 years ago
- An exploration and implementation of the lambda calculus.☆12Oct 18, 2016Updated 9 years ago
- Monokai for vim (with iTerm2 theme)☆19Jul 9, 2011Updated 14 years ago
- Extracts images and PDF files from Evernote and gives them usable file names.☆22Apr 2, 2013Updated 12 years ago
- A package for getting rudimentary stats from Go programs☆18Feb 10, 2012Updated 14 years ago
- Wired Server application for Mac OS X☆14May 12, 2020Updated 5 years ago
- Sorting out the basic facts behind our projects.☆10Sep 1, 2016Updated 9 years ago
- Adversarial examples on keras and tensorflow☆12Apr 5, 2017Updated 8 years ago
- Constructive definition of real numbers implemented in agda.☆10Jul 31, 2016Updated 9 years ago
- A simple golang tools to set flag via environment variables inspired by [Go: Best Practices for Production Environments](http://peter.bou…☆14Aug 18, 2015Updated 10 years ago
- Agda to C compiler☆10Sep 23, 2025Updated 5 months ago
- Script to mass deauthenticate multiple wireless clients.☆12Jan 1, 2017Updated 9 years ago
- workflowy clone☆12Mar 15, 2022Updated 3 years ago
- Go package that wraps around OpenAI HTTP APIs☆12Mar 2, 2023Updated 3 years ago
- File sharing made easy.☆10Feb 1, 2016Updated 10 years ago
- State cache for WebGL Rendering Context☆17Jun 3, 2018Updated 7 years ago
- a bit☆10Apr 7, 2024Updated last year
- Simple shell script to convert mp3 to m4b files☆13Apr 19, 2015Updated 10 years ago
- Experiments with modal types☆17Oct 20, 2020Updated 5 years ago
- Accepted papers for PLDI 2014☆15May 19, 2016Updated 9 years ago
- An Agda formalisation of the theory of directed containers☆12Apr 25, 2025Updated 10 months ago
- Ruby gem which will allow authors to pass a code block to transform a data object for a specific period of time☆21Apr 4, 2015Updated 10 years ago
- Quicksilver Interface - Updated for Snow Leopard☆44Feb 22, 2012Updated 14 years ago
- Junk drawer of old scripts.☆18Apr 18, 2016Updated 9 years ago
- Quicksilver Interface☆25May 17, 2009Updated 16 years ago
- Firefox add-on: Drink now, pay later: put your tabs on your bar tab!☆16Dec 23, 2011Updated 14 years ago
- Pure relational SKI combinator calculus interpreter.☆11Jul 13, 2017Updated 8 years ago
- being the materials from my YOW LambdaJam 2016 talk☆11Jun 11, 2016Updated 9 years ago