quackingduck / rld
Commandline utility for OSX that reloads the frontmost browser tab
☆11Updated 9 years ago
Alternatives and similar repositories for rld:
Users that are interested in rld are comparing it to the libraries listed below
- Run a command when a file add/update event occurs☆70Updated 7 years ago
- A blog aggregator for the Recurse Center community☆61Updated 4 months ago
- A dynamic data-driven document development environment (DDDDDE)☆83Updated 2 years ago
- Domain Specific Languages for Computational Law☆72Updated 2 months ago
- Noether programming language☆127Updated 7 years ago
- Well Typed Foundations 🏛️☆15Updated 4 years ago
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆31Updated 9 years ago
- Racket to WebAssembly Compiler☆33Updated 3 months ago
- F*dging up a Racket: how to write Brainf*ck as a Racket language☆27Updated 4 years ago
- Repeat from the sign☆80Updated 8 years ago
- User Interfaces for Programming Languages: The Compendium☆27Updated 4 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- TLS proxy for *.recurse.com domains☆20Updated 2 years ago
- Short essays I've written☆77Updated last year
- A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)☆120Updated 12 years ago
- A Prototype Debugging Tool for MIT Scheme☆32Updated 5 years ago
- Code for http://oilshell.org/blog/☆50Updated 3 weeks ago
- The Math of Card Shufflig☆38Updated 2 years ago
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 4 years ago
- A pure-actor virtual machine with object-capabilities and memory-safety.☆84Updated this week
- nqthm - the original Boyer-Moore theorem prover, from 1992☆51Updated 8 years ago
- A compiler for a simple language using llvm☆35Updated last year
- A small OS that doesn't do much.☆22Updated 11 months ago
- A wiki and web-services based development environment for Awelon project☆91Updated 6 years ago
- A purely functional programming language intended for practical programming.☆28Updated 15 years ago
- Reading schedule and our library of pdfs☆24Updated 5 years ago
- ReasonML code to construct an NFA from a regular expression☆24Updated 6 years ago
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- Privacy focused website analytics.☆38Updated 3 years ago
- Braid representations in Haskell☆22Updated last year