Josh Tilles's repositories

AFP

Tracks http://hg.code.sf.net/p/afp/code with git-hg

Language:IsabelleStargazers:1Issues:2Issues:0

Archery

Think Lincoln Logs. But, you know, with math & programming.

pallet

Automates controlling and provisioning cloud server instances. DevOps for the JVM.

Language:ClojureStargazers:1Issues:0Issues:0

auto-complete

Emacs auto-complete package

Language:Emacs LispLicense:NOASSERTIONStargazers:0Issues:0Issues:0

bind-key

A use-package declaration for simplifying your .emacs

Language:Emacs LispStargazers:0Issues:0Issues:0

chruby-fish

Changes the current Ruby

Language:ShellLicense:MITStargazers:0Issues:0Issues:0

core.cache

A caching library for Clojure implementing various cache strategies

Language:ClojureStargazers:0Issues:0Issues:0

crache

Redis-backed caching and memoization for clojure, following core.cache and core.memoize

Language:ClojureStargazers:0Issues:0Issues:0
Language:ClojureLicense:EPL-1.0Stargazers:0Issues:0Issues:0

el-get

Manage the external elisp bits and pieces upon which you depend!

Language:Emacs LispStargazers:0Issues:0Issues:0

elisp-slime-nav

Slime-style navigation of Emacs Lisp source with M-. & M-,

Language:Emacs LispStargazers:0Issues:0Issues:0

emacs-live

M-x start-hacking

Language:Emacs LispStargazers:0Issues:0Issues:0

fish-mode

An Emacs mode for (scripts of) the Friendly Interactive SHell

Stargazers:0Issues:0Issues:0

gitflow

AVH Edition of the git extensions to provide high-level repository operations for Vincent Driessen's branching model

Language:ShellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

homebrew-headonly

Some foamy head is good in your brew, but you don't want a pour that is all head.

Language:RubyStargazers:0Issues:0Issues:0

Isabelle-LightTable

Beyond-experimental alternative to Isabelle/jEdit and ProofGeneral

Stargazers:0Issues:0Issues:0
Language:ClojureStargazers:0Issues:0Issues:0

leiningen

Automate Clojure projects without setting your hair on fire.

Language:ClojureLicense:NOASSERTIONStargazers:0Issues:0Issues:0

melpa

Scripts for building Emacs packages from Version Control

Language:JavaScriptStargazers:0Issues:0Issues:0
Language:JavaScriptStargazers:0Issues:0Issues:0

nrepl.el

An Emacs client for nREPL, the Clojure networked REPL server

Language:Emacs LispStargazers:0Issues:0Issues:0

pallet-lein-new

Pallet project templates for lein newnew

Language:ClojureStargazers:0Issues:0Issues:0

racket

The Racket repository

Language:RacketStargazers:0Issues:0Issues:0

shen-mode

An Emacs major mode for editing Shen source code

Language:Emacs LispStargazers:0Issues:0Issues:0

Sic-P

(Structure and Interpretation of Computer Programs)

Language:RacketStargazers:0Issues:0Issues:0

smartparens

Minor mode for Emacs that deals with parens pairs and tries to be smart about it.

Language:Emacs LispStargazers:0Issues:0Issues:0

SmartSim

Design and simulate digital logic circuits of varying complexity.

License:GPL-3.0Stargazers:0Issues:0Issues:0

smotitah

Another configuration framework for emacs

Language:Emacs LispStargazers:0Issues:0Issues:0
Language:TeXStargazers:0Issues:0Issues:0

vim-rsi

rsi.vim: Readline style insertion

Language:VimLStargazers:0Issues:0Issues:0