Popular repositories Loading

1. dotfiles dotfiles Public

   My dotfiles --- I keep them them in $XDG_CONFIG_HOME and install with /meta/install/link

   Shell 2

2. flygrep.vim flygrep.vim Public

   Forked from wsdjeg/FlyGrep.vim

   Asynchronously fly grep in vim

   Vim Script 2

3. ibos-case-study ibos-case-study Public

   A Maude specification of IBOS as well as associated proofs.

   Shell 1 2

4. maude-foform maude-foform Public

   An implementation of a first-order formula datatype in Maude. The current version of FULL-MAUDE used is for Maude 2.7.1 but older versions of Maude should work (they might give warnings, however). …

   Shell

5. ibos-spec ibos-spec Public

   IBOS specification for Maude

6. smaug smaug Public

   Collection of my maude code

   Shell