mrc/tla-tools mrc/tla-tools

  • Stars
    star
    29
  • Rank 842,076 (Top 17 %)
  • Language
    Emacs Lisp
  • License
    GNU General Publi...
  • Created about 5 years ago
  • Updated about 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mrc/tla-tools
github

mrc

Reviews

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

Repository Details

TLA+ tools for Emacs

More Repositories

1

lhstats

Statistical functions in Common Lisp
Common Lisp
14
star
2

el-csv

Parse CSV data in elisp
Emacs Lisp
11
star
3

pyfit

The Python FIT/FitNesse test runner
Python
5
star
4

git-hook-library

Git hooks
3
star
5

xmltvtotgd

Convert xmltv from icetv to Topfield TGD format
Python
3
star
6

lein-appengine

A plugin for leiningen to run the Google App Engine (GAE) dev_appserver and appcfg utils
Clojure
2
star
7

csv2html

Take delimited text and output HTML
Python
2
star
8

mrc-stefil-extras

A helper function for using stefil.
Common Lisp
2
star
9

solarized-terminal

Terminal.app solarized colours
2
star
10

rst2info

Convert reStructuredText to Texinfo
Python
1
star
11

git-extras

Handy git tools
Perl
1
star
12

el-lol

Funky stuff from Let Over Lambda ported to emacs lisp
Emacs Lisp
1
star
13

sea-pie

Tools for processing a text file containing words.
Common Lisp
1
star
14

ert-extras

Helpers for ERT (Emacs Lisp Regression Testing)
Emacs Lisp
1
star
15

rep-theatre

Utils I wanted to put somewhere. Sorry.
Common Lisp
1
star
16

epguide-scraper

Retrieve epguides.com (TV epsiode guide) data into Emacs org-mode
Emacs Lisp
1
star